Correctly type check type variable expressions.

sdk/lib/_internal/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.
 
 part of dart2js;
 
 class MessageKind {
   final String template;
   const MessageKind(this.template);
 
   static const GENERIC = const MessageKind('#{text}');
 
   static const NOT_ASSIGNABLE = const MessageKind(
       '#{fromType} is not assignable to #{toType}');
   static const VOID_EXPRESSION = const MessageKind(
       'expression does not yield a value');
   static const VOID_VARIABLE = const MessageKind(
       'variable cannot be of type void');
   static const RETURN_VALUE_IN_VOID = const MessageKind(
       'cannot return value from void function');
   static const RETURN_NOTHING = const MessageKind(
       'value of type #{returnType} expected');
   static const MISSING_ARGUMENT = const MessageKind(
       'missing argument of type #{argumentType}');
   static const ADDITIONAL_ARGUMENT = const MessageKind(
       'additional argument');
   static const NAMED_ARGUMENT_NOT_FOUND = const MessageKind(
       "no named argument '#{argumentName}' found on method");
+  static const MEMBER_NOT_FOUND = const MessageKind(
+      'no member named #{memberName} in class #{className}');
   static const METHOD_NOT_FOUND = const MessageKind(
       'no method named #{memberName} in class #{className}');
   static const OPERATOR_NOT_FOUND = const MessageKind(
       'no operator #{memberName} in class #{className}');
   static const PROPERTY_NOT_FOUND = const MessageKind(
       'no property named #{memberName} in class #{className}');
   static const NOT_CALLABLE = const MessageKind(
       "'#{elementName}' is not callable");
   static const MEMBER_NOT_STATIC = const MessageKind(
       '#{className}.#{memberName} is not static');
@@ skipping 586 matching lines @@
 
 class CompileTimeConstantError extends Diagnostic {
   CompileTimeConstantError(MessageKind kind, [Map arguments = const {}])
     : super(kind, arguments);
 }
 
 class CompilationError extends Diagnostic {
   CompilationError(MessageKind kind, [Map arguments = const {}])
     : super(kind, arguments);
 }