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 e36e7003ca7241e6567444ec4e93778ca81af5c7..200185b3882e61b3bc1f499c06c6871bd4a956d2 100644 |
--- a/pkg/compiler/lib/src/types/types.dart |
+++ b/pkg/compiler/lib/src/types/types.dart |
@@ -185,8 +185,8 @@ abstract class TypesInferrer { |
class GlobalTypeInferenceResults { |
// TODO(sigmund): store relevant data & drop reference to inference engine. |
final TypeGraphInferrer _inferrer; |
- final Compiler compiler; |
- final TypeMask dynamicType; |
+ final ClosedWorld closedWorld; |
+ final Compiler _compiler; |
final Map<Element, GlobalTypeInferenceElementResult> _elementResults = {}; |
// TODO(sigmund,johnniwinther): compute result objects eagerly and make it an |
@@ -207,13 +207,14 @@ class GlobalTypeInferenceResults { |
element, |
_inferrer.inferrer.inTreeData[key], |
_inferrer, |
- compiler.backend.isJsInterop(element), |
+ _compiler.backend.isJsInterop(element), |
dynamicType)); |
} |
- GlobalTypeInferenceResults(this._inferrer, this.compiler, CommonMasks masks, |
- TypeInformationSystem types) |
- : dynamicType = masks.dynamicType; |
+ GlobalTypeInferenceResults(this._inferrer, this._compiler, this.closedWorld, |
+ TypeInformationSystem types); |
+ |
+ TypeMask get dynamicType => closedWorld.commonMasks.dynamicType; |
/// Returns the type of a [selector] when applied to a receiver with the given |
/// type [mask]. |
@@ -254,7 +255,7 @@ class GlobalTypeInferenceTask extends CompilerTask { |
typesInferrerInternal.analyzeMain(mainElement); |
typesInferrerInternal.clear(); |
results = new GlobalTypeInferenceResults(typesInferrerInternal, compiler, |
- closedWorld.commonMasks, typesInferrerInternal.inferrer.types); |
+ closedWorld, typesInferrerInternal.inferrer.types); |
}); |
} |
} |