| 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);
|
| }
|
|
|