| Index: pkg/compiler/lib/src/inferrer/type_graph_inferrer.dart
|
| diff --git a/pkg/compiler/lib/src/inferrer/type_graph_inferrer.dart b/pkg/compiler/lib/src/inferrer/type_graph_inferrer.dart
|
| index 0f27c83460a42ac29f4441b775f03c9908b91d05..7cf3baa2797181932272c09b23eed26fa468028b 100644
|
| --- a/pkg/compiler/lib/src/inferrer/type_graph_inferrer.dart
|
| +++ b/pkg/compiler/lib/src/inferrer/type_graph_inferrer.dart
|
| @@ -11,7 +11,7 @@ import '../common/names.dart' show Identifiers;
|
| import '../compiler.dart' show Compiler;
|
| import '../constants/expressions.dart' show ConstantExpression;
|
| import '../constants/values.dart';
|
| -import '../elements/resolution_types.dart' show DartType;
|
| +import '../elements/resolution_types.dart' show ResolutionDartType;
|
| import '../elements/elements.dart';
|
| import '../js_backend/js_backend.dart' show Annotations, JavaScriptBackend;
|
| import '../resolution/tree_elements.dart' show TreeElementMapping;
|
| @@ -269,7 +269,8 @@ class TypeInformationSystem extends TypeSystem<TypeInformation> {
|
| return newType;
|
| }
|
|
|
| - TypeInformation narrowType(TypeInformation type, DartType annotation,
|
| + TypeInformation narrowType(
|
| + TypeInformation type, ResolutionDartType annotation,
|
| {bool isNullable: true}) {
|
| if (annotation.treatAsDynamic) return type;
|
| if (annotation.isVoid) return nullType;
|
|
|