| Index: pkg/compiler/lib/src/cps_ir/insert_refinements.dart
|
| diff --git a/pkg/compiler/lib/src/cps_ir/insert_refinements.dart b/pkg/compiler/lib/src/cps_ir/insert_refinements.dart
|
| index e71c52883857dfb1852b66d8310c0eba03b8c1eb..ec12543275f6e585eb251b777b09d364a4ace61f 100644
|
| --- a/pkg/compiler/lib/src/cps_ir/insert_refinements.dart
|
| +++ b/pkg/compiler/lib/src/cps_ir/insert_refinements.dart
|
| @@ -163,7 +163,7 @@ class InsertRefinements extends RecursiveVisitor implements Pass {
|
| // If the condition is an 'is' check, promote the checked value.
|
| if (condition is TypeTest) {
|
| Primitive value = condition.value.definition;
|
| - TypeMask type = types.subtypesOf(condition.type);
|
| + TypeMask type = types.subtypesOf(condition.dartType);
|
| Primitive refinedValue = new Refinement(value, type);
|
| pushRefinement(trueCont, refinedValue);
|
| push(falseCont);
|
|
|