Resolve type parameter bounds when looking up interface members.

pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.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.
 
 /// This file declares a "shadow hierarchy" of concrete classes which extend
 /// the kernel class hierarchy, adding methods and fields needed by the
 /// BodyBuilder.
 ///
 /// Instances of these classes may be created using the factory methods in
 /// `ast_factory.dart`.
@@ skipping 1934 matching lines @@
       // so that the type hierarchy will be simpler (which may speed up "is"
       // checks).
       return statement._inferStatement(this);
     } else {
       // Encountered a statement type for which type inference is not yet
       // implemented, so just skip it for now.
       // TODO(paulberry): once the BodyBuilder uses shadow classes for
       // everything, this case should no longer be needed.
     }
   }
-
-  /// If the given [type] is a [TypeParameterType], resolve it to its bound.
-  DartType resolveTypeParameter(DartType type) {
-    DartType resolveOneStep(DartType type) {
-      if (type is TypeParameterType) {
-        return type.bound;
-      } else {
-        return null;
-      }
-    }
-
-    var resolved = resolveOneStep(type);
-    if (resolved == null) return type;
-
-    // Detect circularities using the tortoise-and-hare algorithm.
-    type = resolved;
-    DartType hare = resolveOneStep(type);
-    if (hare == null) return type;
-    while (true) {
-      if (identical(type, hare)) {
-        // We found a circularity.  Give up and return `dynamic`.
-        return const DynamicType();
-      }
-
-      // Hare takes two steps
-      var step1 = resolveOneStep(hare);
-      if (step1 == null) return hare;
-      var step2 = resolveOneStep(step1);
-      if (step2 == null) return hare;
-      hare = step2;
-
-      // Tortoise takes one step
-      type = resolveOneStep(type);
-    }
-  }
 }
 
 /// Shadow object for [TypeLiteral].
 class KernelTypeLiteral extends TypeLiteral implements KernelExpression {
   KernelTypeLiteral(DartType type) : super(type);
 
   @override
   void _collectDependencies(KernelDependencyCollector collector) {
     // No inference dependencies.
   }
@@ skipping 236 matching lines @@
   }
 
   transformChildren(v) {
     return internalError("Internal error: Unsupported operation.");
   }
 
   visitChildren(v) {
     return internalError("Internal error: Unsupported operation.");
   }
 }