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 280 matching lines @@
       "count on origin method '#{1}' (#{2}).");
 
   static const PATCH_OPTIONAL_PARAMETER_NAMED_MISMATCH = const MessageKind(
       "Optional parameters of origin and patch method '#{1}' must "
       "both be either named or positional.");
 
   static const PATCH_PARAMETER_MISMATCH = const MessageKind(
       "Patch method parameter '#{3}' doesn't match '#{2}' on origin method "
       "#{1}.");
 
+  static const CANNOT_ACCESS_TYPE_VARIABLE_IN_STATIC_CONTEXT =
+      const MessageKind('cannot access type variable #{1} in static context');
+
   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.
 
 When compiling the above element, the compiler crashed. It is not
 possible to tell if this is caused by a problem in your program or
 not. Regardless, the compiler should not crash.
 
@@ skipping 78 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);
 }