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