| Index: pkg/compiler/lib/src/types/types.dart
|
| diff --git a/pkg/compiler/lib/src/types/types.dart b/pkg/compiler/lib/src/types/types.dart
|
| index 7bb35eb5e267d5ea47199777e07755fc0fd1a6ee..9ce32f6d24c5ff45fb87c489483db174720e5953 100644
|
| --- a/pkg/compiler/lib/src/types/types.dart
|
| +++ b/pkg/compiler/lib/src/types/types.dart
|
| @@ -9,6 +9,7 @@ import '../common.dart' show invariant;
|
| import '../common/tasks.dart' show CompilerTask;
|
| import '../compiler.dart' show Compiler;
|
| import '../elements/elements.dart';
|
| +import '../elements/entities.dart';
|
| import '../inferrer/type_graph_inferrer.dart' show TypeGraphInferrer;
|
| import '../inferrer/type_system.dart';
|
| import '../tree/tree.dart';
|
| @@ -171,7 +172,7 @@ class GlobalTypeInferenceElementData {
|
|
|
| /// API to interact with the global type-inference engine.
|
| abstract class TypesInferrer {
|
| - void analyzeMain(Element element);
|
| + void analyzeMain(FunctionEntity element);
|
| TypeMask getReturnTypeOfElement(Element element);
|
| TypeMask getTypeOfElement(Element element);
|
| TypeMask getTypeForNewList(Element owner, Node node);
|
| @@ -271,7 +272,7 @@ class GlobalTypeInferenceTask extends CompilerTask {
|
| super(compiler.measurer);
|
|
|
| /// Runs the global type-inference algorithm once.
|
| - void runGlobalTypeInference(MethodElement mainElement,
|
| + void runGlobalTypeInference(FunctionEntity mainElement,
|
| ClosedWorld closedWorld, ClosedWorldRefiner closedWorldRefiner) {
|
| measure(() {
|
| typesInferrerInternal ??=
|
|
|