| 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 c21b118af2e0d433f384b62b6ec17462ec813b82..4392586f2cc3eb3a62e91a64e4a7a00b57f5477b 100644
|
| --- a/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart
|
| +++ b/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart
|
| @@ -882,10 +882,12 @@ class DynamicCallSiteTypeInformation extends CallSiteTypeInformation {
|
| bool isUInt31(info) {
|
| return info.type.satisfies(uint31Implementation, classWorld);
|
| }
|
| +
|
| bool isPositiveInt(info) {
|
| return info.type
|
| .satisfies(classWorld.backend.positiveIntImplementation, classWorld);
|
| }
|
| +
|
| TypeInformation tryLater() => inferrer.types.nonNullEmptyType;
|
|
|
| TypeInformation argument =
|
|
|