Handle list and map literals

pkg/compiler/lib/src/kernel/types.dart

Index: pkg/compiler/lib/src/kernel/types.dart
diff --git a/pkg/compiler/lib/src/kernel/types.dart b/pkg/compiler/lib/src/kernel/types.dart
index 803302791c9a1556b7ac78a6cf16d559749c86f1..b57b79df09ce63e86961ba7cae8f303611c5bcbe 100644
--- a/pkg/compiler/lib/src/kernel/types.dart
+++ b/pkg/compiler/lib/src/kernel/types.dart
@@ -5,7 +5,7 @@
 part of dart2js.kernel.element_map;
 
 /// Support for subtype checks of kernel based [DartType]s.
-class _KernelDartTypes implements DartTypes {
+class _KernelDartTypes extends DartTypes {
   final KernelToElementMapImpl elementMap;
   final SubtypeVisitor subtypeVisitor;
   final PotentialSubtypeVisitor potentialSubtypeVisitor;
@@ -31,6 +31,11 @@ class _KernelDartTypes implements DartTypes {
   }
 
   @override
+  InterfaceType getThisType(ClassEntity cls) {
+    return elementMap._getThisType(cls);
+  }
+
+  @override
   InterfaceType getSupertype(ClassEntity cls) {
     return elementMap._getSuperType(cls);
   }
@@ -46,12 +51,25 @@ class _KernelDartTypes implements DartTypes {
   }
 
   @override
+  DartType substByContext(DartType base, InterfaceType context) {
+    return elementMap._substByContext(base, context);
+  }
+
+  @override
   FunctionType getCallType(InterfaceType type) {
     // TODO(johnniwinther): Compute the call type.
     return null;
   }
 
   @override
+  void checkTypeVariableBounds(
+      InterfaceType type,
+      void checkTypeVariableBound(InterfaceType type, DartType typeArgument,
+          TypeVariableType typeVariable, DartType bound)) {
+    throw new UnimplementedError('_KernelDartTypes.checkTypeVariableBounds');
+  }
+
+  @override
   CommonElements get commonElements => elementMap.commonElements;
 }