Index: pkg/compiler/lib/src/cps_ir/update_refinements.dart |
diff --git a/pkg/compiler/lib/src/cps_ir/update_refinements.dart b/pkg/compiler/lib/src/cps_ir/update_refinements.dart |
index 313f2cb2d830b4ccaa9b1b9666ec46c586cbe860..09f5d7a06d8b7e5cec7db08c31bb993eac57fef6 100644 |
--- a/pkg/compiler/lib/src/cps_ir/update_refinements.dart |
+++ b/pkg/compiler/lib/src/cps_ir/update_refinements.dart |
@@ -44,7 +44,9 @@ class UpdateRefinements extends TrampolineRecursiveVisitor implements Pass { |
node.type = typeSystem.receiverTypeFor(node.selector, value.type); |
} else { |
// Check is no longer needed. |
- node..replaceUsesWith(value)..destroy(); |
+ node |
+ ..replaceUsesWith(value) |
+ ..destroy(); |
LetPrim letPrim = node.parent; |
letPrim.remove(); |
return; |
@@ -62,8 +64,8 @@ class UpdateRefinements extends TrampolineRecursiveVisitor implements Pass { |
visitRefinement(Refinement node) { |
if (refine(node.value)) { |
// Update the type if the input has changed. |
- node.type = typeSystem.intersection(node.value.definition.type, |
- node.refineType); |
+ node.type = |
+ typeSystem.intersection(node.value.definition.type, node.refineType); |
} |
Primitive value = node.effectiveDefinition; |
Primitive old = refinementFor[value]; |
@@ -75,8 +77,7 @@ class UpdateRefinements extends TrampolineRecursiveVisitor implements Pass { |
visitBoundsCheck(BoundsCheck node) { |
super.visitBoundsCheck(node); |
- if (node.hasIntegerCheck && |
- typeSystem.isDefinitelyInt(node.index.type)) { |
+ if (node.hasIntegerCheck && typeSystem.isDefinitelyInt(node.index.type)) { |
node.checks &= ~BoundsCheck.INTEGER; |
} |
} |