Index: pkg/compiler/lib/src/cps_ir/type_propagation.dart |
diff --git a/pkg/compiler/lib/src/cps_ir/type_propagation.dart b/pkg/compiler/lib/src/cps_ir/type_propagation.dart |
index ac10ae7414dbb6e7f3c3f5f07376a473dd282629..7ae47a5c134e79a5ad369d2a07259bf3dd9c03d7 100644 |
--- a/pkg/compiler/lib/src/cps_ir/type_propagation.dart |
+++ b/pkg/compiler/lib/src/cps_ir/type_propagation.dart |
@@ -58,8 +58,8 @@ class TypeMaskSystem { |
return inferrer.getGuaranteedReturnTypeOfElement(function); |
} |
- TypeMask getInvokeReturnType(Selector selector, TypeMask mask) { |
- return inferrer.getGuaranteedTypeOfSelector(selector, mask); |
+ TypeMask getInvokeReturnType(Selector typedSelector) { |
+ return inferrer.getGuaranteedTypeOfSelector(typedSelector); |
} |
TypeMask getFieldType(FieldElement field) { |
@@ -337,8 +337,8 @@ class ConstantPropagationLattice { |
/// The possible return types of a method that may be targeted by |
/// [typedSelector]. If the given selector is not a [TypedSelector], any |
/// reachable method matching the selector may be targeted. |
- AbstractValue getInvokeReturnType(Selector selector, TypeMask mask) { |
- return nonConstant(typeSystem.getInvokeReturnType(selector, mask)); |
+ AbstractValue getInvokeReturnType(Selector typedSelector) { |
+ return nonConstant(typeSystem.getInvokeReturnType(typedSelector)); |
} |
} |
@@ -947,7 +947,7 @@ class TypePropagationVisitor implements Visitor { |
} |
if (!node.selector.isOperator) { |
// TODO(jgruber): Handle known methods on constants such as String.length. |
- setResult(lattice.getInvokeReturnType(node.selector, node.mask)); |
+ setResult(lattice.getInvokeReturnType(node.selector)); |
return; |
} |
@@ -974,7 +974,7 @@ class TypePropagationVisitor implements Visitor { |
// Update value of the continuation parameter. Again, this is effectively |
// a phi. |
if (result == null) { |
- setResult(lattice.getInvokeReturnType(node.selector, node.mask)); |
+ setResult(lattice.getInvokeReturnType(node.selector)); |
} else { |
setResult(result, canReplace: true); |
} |