All strong mode cleaning of dart2js.

pkg/compiler/lib/src/kernel/element_map.dart

 // Copyright (c) 2017, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 import 'package:kernel/ast.dart' as ir;
 
 import '../closure.dart';
 import '../common.dart';
 import '../common/names.dart';
 import '../constants/constructors.dart';
@@ skipping 65 matching lines @@
   /// Kernel will say that C()'s super initializer resolves to Object(), but
   /// this function will return an entity representing the unnamed mixin
   /// application "Object+M"'s constructor.
   ConstructorEntity getSuperConstructor(
       ir.Constructor constructor, ir.Member target);
 
   /// Returns the [MemberEntity] corresponding to the member [node].
   MemberEntity getMember(ir.Member node);
 
   /// Returns the kernel IR node that defines the [member].
-  ir.Member getMemberNode(MemberEntity member);
+  ir.Node getMemberNode(covariant MemberEntity member);
 
   /// Returns the [FunctionEntity] corresponding to the procedure [node].
   FunctionEntity getMethod(ir.Procedure node);
 
   /// Returns the super [MemberEntity] for a super invocation, get or set of
   /// [name] from the member [context].
   ///
   /// The IR doesn't always resolve super accesses to the corresponding
   /// [target]. If not, the target is computed using [name] and [setter] from
   /// the enclosing class of [context].
@@ skipping 875 matching lines @@
   TypeMask typeOfInvocation(
       ir.MethodInvocation invocation, ClosedWorld closedWorld);
 
   /// Returns the inferred receiver type of the dynamic [read].
   TypeMask typeOfGet(ir.PropertyGet read);
 
   /// Returns the inferred receiver type of the dynamic [write].
   TypeMask typeOfSet(ir.PropertySet write, ClosedWorld closedWorld);
 
   /// Returns the inferred type of [listLiteral].
-  TypeMask typeOfListLiteral(
-      MemberEntity owner, ir.ListLiteral listLiteral, ClosedWorld closedWorld);
+  TypeMask typeOfListLiteral(covariant MemberEntity owner,
+      ir.ListLiteral listLiteral, ClosedWorld closedWorld);
 
   /// Returns the inferred type of iterator in [forInStatement].
   TypeMask typeOfIterator(ir.ForInStatement forInStatement);
 
   /// Returns the inferred type of `current` in [forInStatement].
   TypeMask typeOfIteratorCurrent(ir.ForInStatement forInStatement);
 
   /// Returns the inferred type of `moveNext` in [forInStatement].
   TypeMask typeOfIteratorMoveNext(ir.ForInStatement forInStatement);
 
@@ skipping 25 matching lines @@
 }
 
 /// Map from kernel IR nodes to local entities.
 abstract class KernelToLocalsMap {
   /// The member currently being built.
   MemberEntity get currentMember;
 
   // TODO(johnniwinther): Make these return the [KernelToLocalsMap] to use from
   // now on.
   /// Call to notify that [member] is currently being inlined.
-  void enterInlinedMember(MemberEntity member);
+  void enterInlinedMember(covariant MemberEntity member);
 
   /// Call to notify that [member] is no longer being inlined.
-  void leaveInlinedMember(MemberEntity member);
+  void leaveInlinedMember(covariant MemberEntity member);
 
   /// Returns the [Local] for [node].
   Local getLocal(ir.VariableDeclaration node);
 
   /// Returns the [JumpTarget] for the branch in [node].
   // TODO(johnniwinther): Split this by kind of [node]?
   JumpTarget getJumpTarget(ir.TreeNode node, {bool isContinueTarget: false});
 
   /// Returns the [LoopClosureRepresentationInfo] for the loop [node] in
   /// [closureClassMaps].
   LoopClosureRepresentationInfo getClosureRepresentationInfoForLoop(
       ClosureDataLookup closureLookup, ir.TreeNode node);
 }
 
 /// Comparator for the canonical order or named arguments.
 // TODO(johnniwinther): Remove this when named parameters are sorted in dill.
 int namedOrdering(ir.VariableDeclaration a, ir.VariableDeclaration b) {
   return a.name.compareTo(b.name);
 }