Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(24)

Unified Diff: dart/pkg/compiler/lib/src/universe/universe.dart

Issue 719443002: Incremental compilation: set up inheritance. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge
Patch Set: Address Stephan's suggestions. Created 6 years, 1 month ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: dart/pkg/compiler/lib/src/universe/universe.dart
diff --git a/dart/pkg/compiler/lib/src/universe/universe.dart b/dart/pkg/compiler/lib/src/universe/universe.dart
index e5e3915d8518b57786f3721788cf218bfb612466..e15e862a9a23e2f521133ff8a7d74022884102a1 100644
--- a/dart/pkg/compiler/lib/src/universe/universe.dart
+++ b/dart/pkg/compiler/lib/src/universe/universe.dart
@@ -747,6 +747,13 @@ class TypedSelector extends Selector {
new Map<Selector, Map<TypeMask, TypedSelector>>();
factory TypedSelector(TypeMask mask, Selector selector, World world) {
+ if (world.hasClosedWorldAssumption) {
+ bool isNullable = mask.isNullable;
+ mask = world.compiler.typesTask.dynamicType;
+ if (isNullable) {
+ mask = mask.nullable();
+ }
+ }
// TODO(johnniwinther): Allow more TypeSelector kinds during resoluton.
assert(world.isClosed || mask.isExact);
if (selector.mask == mask) return selector;

Powered by Google App Engine
This is Rietveld 408576698