Index: pkg/compiler/lib/src/inferrer/inferrer_visitor.dart |
diff --git a/pkg/compiler/lib/src/inferrer/inferrer_visitor.dart b/pkg/compiler/lib/src/inferrer/inferrer_visitor.dart |
index e8af9783dccabcb236a7a7f8aa2d0c2765e0eff2..3314fcdc308d712e688d8c76ee43aebfc308ae1f 100644 |
--- a/pkg/compiler/lib/src/inferrer/inferrer_visitor.dart |
+++ b/pkg/compiler/lib/src/inferrer/inferrer_visitor.dart |
@@ -47,7 +47,7 @@ abstract class TypeSystem<T> { |
T nonNullExact(ClassElement type); |
T nonNullEmpty(); |
bool isNull(T type); |
- TypeMask newTypedSelector(T receiver, TypeMask mask); |
+ Selector newTypedSelector(T receiver, Selector selector); |
T allocateList(T type, |
Node node, |
@@ -110,7 +110,7 @@ abstract class TypeSystem<T> { |
* Returns `true` if `selector` should be updated to reflect the new |
* `receiverType`. |
*/ |
- bool selectorNeedsUpdate(T receiverType, TypeMask mask); |
+ bool selectorNeedsUpdate(T receiverType, Selector selector); |
/** |
* Returns a new receiver type for this [selector] applied to |
@@ -120,10 +120,7 @@ abstract class TypeSystem<T> { |
* conditional send (e.g. `a?.selector`), in which case the returned type may |
* be null. |
*/ |
- T refineReceiver(Selector selector, |
- TypeMask mask, |
- T receiverType, |
- bool isConditional); |
+ T refineReceiver(Selector selector, T receiverType, bool isConditional); |
/** |
* Returns the internal inferrer representation for [mask]. |