All strong mode cleaning of dart2js.

pkg/compiler/lib/src/inferrer/builder.dart

Index: pkg/compiler/lib/src/inferrer/builder.dart
diff --git a/pkg/compiler/lib/src/inferrer/builder.dart b/pkg/compiler/lib/src/inferrer/builder.dart
index b265464d05b69e75aa825dd191013f804479ca96..b94bf5b2893441e765d92e87782b1ecb4820af6b 100644
--- a/pkg/compiler/lib/src/inferrer/builder.dart
+++ b/pkg/compiler/lib/src/inferrer/builder.dart
@@ -143,7 +143,7 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
   ClosedWorld get closedWorld => inferrer.closedWorld;
 
   @override
-  SemanticSendVisitor get sendVisitor => this;
+  SemanticSendVisitor<TypeInformation, dynamic> get sendVisitor => this;
 
   @override
   TypeInformation apply(ast.Node node, _) => visit(node);
@@ -1515,7 +1515,7 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
 
   @override
   TypeInformation visitUnresolvedSuperCompoundIndexSet(
-      ast.Send node,
+      ast.SendSet node,
       Element element,
       ast.Node index,
       op.AssignmentOperator operator,
@@ -1638,7 +1638,7 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
   TypeInformation visitSuperFieldSetterCompound(
       ast.Send node,
       FieldElement field,
-      FunctionElement setter,
+      SetterElement setter,
       op.AssignmentOperator operator,
       ast.Node rhs,
       _) {
@@ -1648,7 +1648,7 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
   @override
   TypeInformation visitSuperGetterFieldCompound(
       ast.Send node,
-      FunctionElement getter,
+      GetterElement getter,
       FieldElement field,
       op.AssignmentOperator operator,
       ast.Node rhs,
@@ -1659,8 +1659,8 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
   @override
   TypeInformation visitSuperGetterSetterCompound(
       ast.Send node,
-      FunctionElement getter,
-      FunctionElement setter,
+      GetterElement getter,
+      SetterElement setter,
       op.AssignmentOperator operator,
       ast.Node rhs,
       _) {
@@ -1671,7 +1671,7 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
   TypeInformation visitSuperMethodSetterCompound(
       ast.Send node,
       FunctionElement method,
-      FunctionElement setter,
+      SetterElement setter,
       op.AssignmentOperator operator,
       ast.Node rhs,
       _) {
@@ -1686,7 +1686,7 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
 
   @override
   TypeInformation visitUnresolvedSuperGetterCompound(
-      ast.Send node,
+      ast.SendSet node,
       Element getter,
       SetterElement setter,
       op.AssignmentOperator operator,
@@ -1720,19 +1720,19 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
 
   @override
   TypeInformation visitSuperFieldSetterSetIfNull(ast.Send node,
-      FieldElement field, FunctionElement setter, ast.Node rhs, _) {
+      FieldElement field, SetterElement setter, ast.Node rhs, _) {
     return handleSuperCompound(node, field, setter, rhs);
   }
 
   @override
   TypeInformation visitSuperGetterFieldSetIfNull(ast.Send node,
-      FunctionElement getter, FieldElement field, ast.Node rhs, _) {
+      GetterElement getter, FieldElement field, ast.Node rhs, _) {
     return handleSuperCompound(node, getter, field, rhs);
   }
 
   @override
   TypeInformation visitSuperGetterSetterSetIfNull(ast.Send node,
-      FunctionElement getter, FunctionElement setter, ast.Node rhs, _) {
+      GetterElement getter, SetterElement setter, ast.Node rhs, _) {
     return handleSuperCompound(node, getter, setter, rhs);
   }
 
@@ -1744,7 +1744,7 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
 
   @override
   TypeInformation visitSuperMethodSetterSetIfNull(ast.Send node,
-      FunctionElement method, FunctionElement setter, ast.Node rhs, _) {
+      FunctionElement method, SetterElement setter, ast.Node rhs, _) {
     return handleSuperCompound(node, method, setter, rhs);
   }
 
@@ -1787,50 +1787,34 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
   }
 
   @override
-  TypeInformation visitSuperFieldSetterPostfix(
-      ast.SendSet node,
-      FieldElement field,
-      FunctionElement setter,
-      op.IncDecOperator operator,
-      _) {
+  TypeInformation visitSuperFieldSetterPostfix(ast.SendSet node,
+      FieldElement field, SetterElement setter, op.IncDecOperator operator, _) {
     return handleSuperPrefixPostfix(node, field, setter);
   }
 
   @override
-  TypeInformation visitSuperFieldSetterPrefix(
-      ast.SendSet node,
-      FieldElement field,
-      FunctionElement setter,
-      op.IncDecOperator operator,
-      _) {
+  TypeInformation visitSuperFieldSetterPrefix(ast.SendSet node,
+      FieldElement field, SetterElement setter, op.IncDecOperator operator, _) {
     return handleSuperPrefixPostfix(node, field, setter);
   }
 
   @override
-  TypeInformation visitSuperGetterFieldPostfix(
-      ast.SendSet node,
-      FunctionElement getter,
-      FieldElement field,
-      op.IncDecOperator operator,
-      _) {
+  TypeInformation visitSuperGetterFieldPostfix(ast.SendSet node,
+      GetterElement getter, FieldElement field, op.IncDecOperator operator, _) {
     return handleSuperPrefixPostfix(node, getter, field);
   }
 
   @override
-  TypeInformation visitSuperGetterFieldPrefix(
-      ast.SendSet node,
-      FunctionElement getter,
-      FieldElement field,
-      op.IncDecOperator operator,
-      _) {
+  TypeInformation visitSuperGetterFieldPrefix(ast.SendSet node,
+      GetterElement getter, FieldElement field, op.IncDecOperator operator, _) {
     return handleSuperPrefixPostfix(node, getter, field);
   }
 
   @override
   TypeInformation visitSuperGetterSetterPostfix(
       ast.SendSet node,
-      FunctionElement getter,
-      FunctionElement setter,
+      GetterElement getter,
+      SetterElement setter,
       op.IncDecOperator operator,
       _) {
     return handleSuperPrefixPostfix(node, getter, setter);
@@ -1839,8 +1823,8 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
   @override
   TypeInformation visitSuperGetterSetterPrefix(
       ast.SendSet node,
-      FunctionElement getter,
-      FunctionElement setter,
+      GetterElement getter,
+      SetterElement setter,
       op.IncDecOperator operator,
       _) {
     return handleSuperPrefixPostfix(node, getter, setter);
@@ -1850,7 +1834,7 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
   TypeInformation visitSuperMethodSetterPostfix(
       ast.SendSet node,
       FunctionElement method,
-      FunctionElement setter,
+      SetterElement setter,
       op.IncDecOperator operator,
       _) {
     return handleSuperPrefixPostfix(node, method, setter);
@@ -1860,7 +1844,7 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
   TypeInformation visitSuperMethodSetterPrefix(
       ast.SendSet node,
       FunctionElement method,
-      FunctionElement setter,
+      SetterElement setter,
       op.IncDecOperator operator,
       _) {
     return handleSuperPrefixPostfix(node, method, setter);
@@ -1971,8 +1955,8 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
   }
 
   @override
-  TypeInformation visitUnresolvedSuperIndexSet(
-      ast.SendSet node, Element element, ast.Node index, ast.Node rhs, _) {
+  TypeInformation visitUnresolvedSuperIndexSet(ast.SendSet node,
+      ErroneousElement element, ast.Node index, ast.Node rhs, _) {
     return handleSuperIndexSet(node, element, index, rhs);
   }
 
@@ -2118,7 +2102,7 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
 
   @override
   TypeInformation visitSuperSetterSet(
-      ast.Send node, SetterElement field, ast.Node rhs, _) {
+      ast.SendSet node, SetterElement field, ast.Node rhs, _) {
     return handleSuperSet(node, field, rhs);
   }
 
@@ -2152,13 +2136,13 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
 
   @override
   TypeInformation visitSuperGetterSet(
-      ast.Send node, MethodElement getter, ast.Node rhs, _) {
+      ast.Send node, GetterElement getter, ast.Node rhs, _) {
     return handleErroneousSuperSend(node);
   }
 
   @override
   TypeInformation visitSuperMethodSet(
-      ast.Send node, MethodElement method, ast.Node rhs, _) {
+      ast.SendSet node, MethodElement method, ast.Node rhs, _) {
     return handleErroneousSuperSend(node);
   }
 
@@ -2202,7 +2186,7 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
   }
 
   @override
-  TypeInformation visitSuperGetterInvoke(ast.Send node, MethodElement getter,
+  TypeInformation visitSuperGetterInvoke(ast.Send node, GetterElement getter,
       ast.NodeList arguments, CallStructure callStructure, _) {
     return handleSuperClosureCall(node, getter, arguments);
   }
@@ -2215,7 +2199,7 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
   }
 
   @override
-  TypeInformation visitSuperSetterInvoke(ast.Send node, FunctionElement setter,
+  TypeInformation visitSuperSetterInvoke(ast.Send node, SetterElement setter,
       ast.NodeList arguments, CallStructure callStructure, _) {
     return handleErroneousSuperSend(node);
   }
@@ -2460,7 +2444,7 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
   }
 
   @override
-  TypeInformation visitStaticGetterInvoke(ast.Send node, FunctionElement getter,
+  TypeInformation visitStaticGetterInvoke(ast.Send node, GetterElement getter,
       ast.NodeList arguments, CallStructure callStructure, _) {
     return handleStaticFieldOrGetterInvoke(node, getter);
   }
@@ -2492,12 +2476,8 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
   }
 
   @override
-  TypeInformation visitTopLevelGetterInvoke(
-      ast.Send node,
-      FunctionElement getter,
-      ast.NodeList arguments,
-      CallStructure callStructure,
-      _) {
+  TypeInformation visitTopLevelGetterInvoke(ast.Send node, GetterElement getter,
+      ast.NodeList arguments, CallStructure callStructure, _) {
     return handleStaticFieldOrGetterInvoke(node, getter);
   }
 
@@ -2572,7 +2552,7 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
   }
 
   /// Invoke a static or top level getter.
-  TypeInformation handleStaticGetterGet(ast.Send node, MethodElement getter) {
+  TypeInformation handleStaticGetterGet(ast.Send node, GetterElement getter) {
     Selector selector = elements.getSelector(node);
     TypeMask mask = inTreeData.typeOfSend(node);
     return handleStaticSend(node, selector, mask, getter, null);
@@ -2628,8 +2608,7 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
   }
 
   @override
-  TypeInformation visitStaticGetterGet(
-      ast.Send node, FunctionElement getter, _) {
+  TypeInformation visitStaticGetterGet(ast.Send node, GetterElement getter, _) {
     return handleStaticGetterGet(node, getter);
   }
 
@@ -2651,7 +2630,7 @@ class ElementGraphBuilder extends ast.Visitor<TypeInformation>
 
   @override
   TypeInformation visitTopLevelGetterGet(
-      ast.Send node, FunctionElement getter, _) {
+      ast.Send node, GetterElement getter, _) {
     return handleStaticGetterGet(node, getter);
   }