Implement type inference for type literals

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

Index: pkg/front_end/lib/src/fasta/kernel/fasta_accessors.dart
diff --git a/pkg/front_end/lib/src/fasta/kernel/fasta_accessors.dart b/pkg/front_end/lib/src/fasta/kernel/fasta_accessors.dart
index eded7160c1bbc38ea1f434e9ee3d844b7c93b1e3..a55ae33c97254dcd44247b20e7a8bc5df818a149 100644
--- a/pkg/front_end/lib/src/fasta/kernel/fasta_accessors.dart
+++ b/pkg/front_end/lib/src/fasta/kernel/fasta_accessors.dart
@@ -12,6 +12,7 @@ import 'package:front_end/src/fasta/kernel/kernel_shadow_ast.dart'
         KernelPropertyAssign,
         KernelStaticAssignment,
         KernelThisExpression,
+        KernelTypeLiteral,
         KernelVariableAssignment;
 
 import 'package:front_end/src/fasta/kernel/utils.dart' show offsetForToken;
@@ -954,9 +955,9 @@ class TypeDeclarationAccessor extends ReadOnlyAccessor {
             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;