anchor.diff:          areEqual: true);
       testRelations(F1.typeVariables.first, F2.typeVariables.first);
   
  -    ClassEntity cls = env.getClass('C3');
  -    env.elementEnvironment.forEachConstructor(cls,
  +    env.elementEnvironment.forEachConstructor(C3,
           (ConstructorEntity constructor) {
         Expect.equals(
             0,
  
positive.code:       F2: [F1],
        F9: [F10],
        F10: [F9],
      };
  
      Map<FunctionType, List<FunctionType>> expectedSubtype =
  
negative.code:     testBounds(F8, [num_]);
      testBounds(F9, [F9.typeVariables.last, Object_]);
      testBounds(F10, [F10.typeVariables.last, Object_]);
      testBounds(F11, [
        instantiate(C3, [F11.typeVariables.last])
      ]);
      testBounds(F12, [
        instantiate(C3, [F12.typeVariables.last])
      ]);
  
      testInstantiate(F1, [C1], 'void Function(C1)');
      testInstantiate(F2, [C2], 'void Function(C2)');
  