Implement type inference for type literals

pkg/front_end/lib/src/fasta/kernel/fasta_accessors.dart

 // Copyright (c) 2016, 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.
 
 library fasta.fasta_accessors;
 
 import 'package:front_end/src/fasta/kernel/kernel_shadow_ast.dart'
     show
         KernelArguments,
         KernelComplexAssignment,
         KernelIndexAssign,
         KernelPropertyAssign,
         KernelStaticAssignment,
         KernelThisExpression,
+        KernelTypeLiteral,
         KernelVariableAssignment;
 
 import 'package:front_end/src/fasta/kernel/utils.dart' show offsetForToken;
 
 import 'package:front_end/src/scanner/token.dart' show Token;
 
 import 'frontend_accessors.dart' show Accessor;
 
 import 'package:front_end/src/fasta/type_inference/type_promotion.dart'
     show TypePromoter;
@@ skipping 922 matching lines @@
       if (declaration is KernelInvalidTypeBuilder) {
         KernelInvalidTypeBuilder declaration = this.declaration;
         String message = declaration.message;
         helper.library.addWarning(declaration.charOffset, message,
             fileUri: declaration.fileUri);
         helper.warning(message, offset);
         super.expression = new Throw(
             new StringLiteral(message)..fileOffset = offsetForToken(token))
           ..fileOffset = offset;
       } else {
-        super.expression =
-            new TypeLiteral(buildType(null, nonInstanceAccessIsError: true))
-              ..fileOffset = offsetForToken(token);
+        super.expression = new KernelTypeLiteral(
+            buildType(null, nonInstanceAccessIsError: true))
+          ..fileOffset = offsetForToken(token);
       }
     }
     return super.expression;
   }
 
   Expression makeInvalidWrite(Expression value) {
     return buildThrowNoSuchMethodError(
         new NullLiteral()..fileOffset = offsetForToken(token),
         new Arguments(<Expression>[value])..fileOffset = value.fileOffset,
         isSetter: true);
@@ skipping 75 matching lines @@
     offset ??= offsetForToken(this.token);
     return helper.throwNoSuchMethodError(new NullLiteral()..fileOffset = offset,
         plainNameForRead, arguments, offset,
         isGetter: isGetter, isSetter: isSetter);
   }
 }
 
 bool isFieldOrGetter(Member member) {
   return member is Field || (member is Procedure && member.isGetter);
 }