| 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:
|
|
|