Index: pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart |
diff --git a/pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart b/pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart |
index 8bec7c1b88343e13aef76b7266c413c22d8e0590..e9b22edb2ebd8bbe56615652bd25d1089ffa1b3e 100644 |
--- a/pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart |
+++ b/pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart |
@@ -3,9 +3,9 @@ |
// BSD-style license that can be found in the LICENSE.md file. |
import 'package:front_end/src/base/instrumentation.dart'; |
-import 'package:front_end/src/fasta/problems.dart' show unhandled; |
import 'package:front_end/src/fasta/kernel/kernel_shadow_ast.dart'; |
import 'package:front_end/src/fasta/names.dart' show callName; |
+import 'package:front_end/src/fasta/problems.dart' show unhandled; |
import 'package:front_end/src/fasta/type_inference/type_inference_engine.dart'; |
import 'package:front_end/src/fasta/type_inference/type_inference_listener.dart'; |
import 'package:front_end/src/fasta/type_inference/type_promotion.dart'; |
@@ -203,6 +203,9 @@ abstract class TypeInferrer { |
/// this method body or initializer. |
TypePromoter get typePromoter; |
+ /// Gets the [TypeSchemaEnvironment] being used for type inference. |
+ TypeSchemaEnvironment get typeSchemaEnvironment; |
+ |
/// The URI of the code for which type inference is currently being |
/// performed--this is used for testing. |
String get uri; |
@@ -233,6 +236,11 @@ class TypeInferrerDisabled extends TypeInferrer { |
@override |
final typePromoter = new TypePromoterDisabled(); |
+ @override |
+ final TypeSchemaEnvironment typeSchemaEnvironment; |
+ |
+ TypeInferrerDisabled(this.typeSchemaEnvironment); |
+ |
@override |
String get uri => null; |