Bring type variables into static scope, but produce compile-time error when they are used.

lib/compiler/implementation/warnings.dart

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 class MessageKind {
   final String template;
   const MessageKind(this.template);
 
   static const GENERIC = const MessageKind('#{1}');
 
@@ skipping 241 matching lines @@
 
   static const CANNOT_RESOLVE_GETTER = const MessageKind(
       'cannot resolve getter.');
 
   static const CANNOT_RESOLVE_SETTER = const MessageKind(
       'cannot resolve setter.');
 
   static const VOID_NOT_ALLOWED = const MessageKind(
       'type void is only allowed in a return type.');
 
+  static const CANNOT_ACCESS_TYPE_VARIABLE_IN_STATIC_CONTEXT =
+      const MessageKind( 'cannot access type variable #{1} in static context');

[ahe, 2012/10/04 07:51:02]

Extra space after (.

[aam-me, 2012/10/10 02:48:40]

Done.

+
   static const INVALID_SOURCE_FILE_LOCATION = const MessageKind('''
 Invalid offset (#{1}) in source map.
 File: #{2}
 Length: #{3}''');
 
   static const COMPILER_CRASHED = const MessageKind(
       "Error: The compiler crashed when compiling this element.");
 
   static const PLEASE_REPORT_THE_CRASH = const MessageKind('''
 The compiler is broken.
@@ skipping 82 matching lines @@
 
 class CompileTimeConstantError extends Diagnostic {
   CompileTimeConstantError(MessageKind kind, List arguments)
     : super(kind, arguments);
 }
 
 class CompilationError extends Diagnostic {
   CompilationError(MessageKind kind, List arguments)
     : super(kind, arguments);
 }