Index: pkg/compiler/lib/src/elements/resolution_types.dart |
diff --git a/pkg/compiler/lib/src/elements/resolution_types.dart b/pkg/compiler/lib/src/elements/resolution_types.dart |
index 9604f16263d263a85d885bf65d24cde12de6eb21..746011249fcc1d42b02ef7d0690487d1cc8781d3 100644 |
--- a/pkg/compiler/lib/src/elements/resolution_types.dart |
+++ b/pkg/compiler/lib/src/elements/resolution_types.dart |
@@ -1093,6 +1093,16 @@ class Types implements DartTypes { |
return new Types(resolution); |
} |
+ @override |
+ InterfaceType asInstanceOf(ResolutionInterfaceType type, ClassEntity cls) { |
+ return type.asInstanceOf(cls); |
+ } |
+ |
+ @override |
+ ResolutionInterfaceType getSupertype(ClassElement cls) { |
+ return cls.supertype; |
+ } |
+ |
/// Flatten [type] by recursively removing enclosing `Future` annotations. |
/// |
/// Defined in the language specification as: |