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