| Index: pkg/compiler/lib/src/inferrer/type_graph_nodes.dart
|
| diff --git a/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart b/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart
|
| index 98e12bea5be9eaf25ce07cfb09eadfe5c42b812f..6519aa9ac218206b6374393834963d176435a641 100644
|
| --- a/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart
|
| +++ b/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart
|
| @@ -24,7 +24,7 @@ import '../types/masks.dart'
|
| ValueTypeMask;
|
| import '../universe/selector.dart' show Selector;
|
| import '../util/util.dart' show ImmutableEmptySet, Setlet;
|
| -import '../world.dart' show ClassWorld;
|
| +import '../world.dart' show ClosedWorld;
|
| import 'debug.dart' as debug;
|
| import 'inferrer_visitor.dart' show ArgumentsTypes;
|
| import 'type_graph_inferrer.dart'
|
| @@ -867,26 +867,27 @@ class DynamicCallSiteTypeInformation extends CallSiteTypeInformation {
|
| */
|
| TypeInformation handleIntrisifiedSelector(
|
| Selector selector, TypeMask mask, TypeGraphInferrerEngine inferrer) {
|
| - ClassWorld classWorld = inferrer.closedWorld;
|
| - if (!classWorld.backend.intImplementation.isResolved) return null;
|
| + ClosedWorld closedWorld = inferrer.closedWorld;
|
| + if (!closedWorld.backend.intImplementation.isResolved) return null;
|
| if (mask == null) return null;
|
| - if (!mask.containsOnlyInt(classWorld)) {
|
| + if (!mask.containsOnlyInt(closedWorld)) {
|
| return null;
|
| }
|
| if (!selector.isCall && !selector.isOperator) return null;
|
| if (!arguments.named.isEmpty) return null;
|
| if (arguments.positional.length > 1) return null;
|
|
|
| - ClassElement uint31Implementation = classWorld.backend.uint31Implementation;
|
| - bool isInt(info) => info.type.containsOnlyInt(classWorld);
|
| + ClassElement uint31Implementation =
|
| + closedWorld.backend.uint31Implementation;
|
| + bool isInt(info) => info.type.containsOnlyInt(closedWorld);
|
| bool isEmpty(info) => info.type.isEmpty;
|
| bool isUInt31(info) {
|
| - return info.type.satisfies(uint31Implementation, classWorld);
|
| + return info.type.satisfies(uint31Implementation, closedWorld);
|
| }
|
|
|
| bool isPositiveInt(info) {
|
| - return info.type
|
| - .satisfies(classWorld.backend.positiveIntImplementation, classWorld);
|
| + return info.type.satisfies(
|
| + closedWorld.backend.positiveIntImplementation, closedWorld);
|
| }
|
|
|
| TypeInformation tryLater() => inferrer.types.nonNullEmptyType;
|
|
|