anchor.diff:        TypeFlowAnalysis typeFlowAnalysis) {
       final TFClass cls = receiver.cls;
   
  -    Member? target =
  -        (cls as _TFClassImpl).getDispatchTarget(selector, typeFlowAnalysis);
  +    Member? target = (cls as _TFClassImpl).getDispatchTarget(selector);
   
       if (target != null) {
         if (kPrintTrace) {
  
positive.code:   /// exceeds this constant, then WideConeType approximation is used.
    static const int maxAllocatedTypesInSetSpecializations = 128;
  
    final Set<_TFClassImpl> supertypes; // List of super-types including this.
    final Set<_TFClassImpl> _allocatedSubtypes = new Set<_TFClassImpl>();
    final Map<Selector, Member> _dispatchTargets = <Selector, Member>{};
    final _DependencyTracker dependencyTracker = new _DependencyTracker();
  
    /// Flag indicating if this class has a noSuchMethod() method not inherited
  
negative.code:   /// Lazy initialized by ClassHierarchyCache.hasNonTrivialNoSuchMethod().
    bool? hasNonTrivialNoSuchMethod;
  
    _TFClassImpl(int id, Class classNode, this.superclass, this.supertypes)
        : super(id, classNode) {
      supertypes.add(this);
    }
  