anchor.diff:    // Inferred super-bounded type is invalid as type argument
     superRec.e4;
   //         ^^
  -// [analyzer] unspecified
  +// [analyzer] STATIC_TYPE_WARNING.UNDEFINED_GETTER
   // [cfe] unspecified
     E4(superRec).e4;
  -//             ^^
  -// [analyzer] unspecified
  +//^^
  +// [analyzer] COMPILE_TIME_ERROR.COULD_NOT_INFER
   // [cfe] unspecified
     E4<Rec<dynamic>>(superRec).e4;
  -//                           ^^
  -// [analyzer] unspecified
  +//   ^^^^^^^^^^^^
  +// [analyzer] COMPILE_TIME_ERROR.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
   // [cfe] unspecified
   }
positive.code:   // bound of double
    d.f3(3);
  //  ^^
  // [analyzer] unspecified
  // [cfe] unspecified
    E3(d).f3(3);
  //      ^^
  // [analyzer] unspecified
  // [cfe] unspecified
    E3<double>(d).f3(3);
  //              ^^
  // [analyzer] unspecified
  // [cfe] unspecified
  
    RecSolution recs = RecSolution();
  
negative.code:   // bound of String
    s.f3(3);
  //  ^^
  // [analyzer] COMPILE_TIME_ERROR.COULD_NOT_INFER
  // [cfe] unspecified
    E3(s).f3(3);
  //      ^^
  // [analyzer] COMPILE_TIME_ERROR.COULD_NOT_INFER
  // [cfe] unspecified
    E3<String>(s).f3(3);
  //              ^^
  // [analyzer] COMPILE_TIME_ERROR.COULD_NOT_INFER
  // [cfe] unspecified
  
    // Inferred type int for method type parameter is ok
  