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:     FunctionType F8 = env.getFieldType('F8');
      FunctionType F9 = env.getMemberType('F9');
      FunctionType F10 = env.getClosureType('F10');
  
      List<FunctionType> all = <FunctionType>[
        F1,
  
negative.code:       F2: [F1],
        F9: [F10],
        F10: [F9],
        F11: [F12],
        F12: [F11],
      };
  
      Map<FunctionType, List<FunctionType>> expectedSubtype =
  