anchor.diff:    // Inferred type of String does not satisfy the bound.
     s.e2;
   //  ^^
  -// [analyzer] unspecified
  +// [analyzer] STATIC_TYPE_WARNING.UNDEFINED_GETTER
   // [cfe] unspecified
     E2(s).e2;
  -//      ^^
  -// [analyzer] unspecified
  +//^^
  +// [analyzer] COMPILE_TIME_ERROR.COULD_NOT_INFER
   // [cfe] unspecified
     E2<String, num>(s).e2;
  -//                   ^^
  -// [analyzer] unspecified
  +//   ^^^^^^
  +// [analyzer] COMPILE_TIME_ERROR.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
   // [cfe] unspecified
   
     // Inferred types of int and double are ok
  
positive.code:   // Inferred type of String does not satisfy the bound.
    s.e1;
  //  ^^
  // [analyzer] unspecified
  // [cfe] unspecified
    E1(s).e1;
  //      ^^
  // [analyzer] unspecified
  // [cfe] unspecified
    E1<String>(s).e1;
  //              ^^
  // [analyzer] unspecified
  // [cfe] unspecified
  
    // Inferred types of int and double are ok
  
negative.code:   // bound of double
    d.f3(3);
  //  ^^
  // [analyzer] COMPILE_TIME_ERROR.COULD_NOT_INFER
  // [cfe] unspecified
    E3(d).f3(3);
  //      ^^
  // [analyzer] COMPILE_TIME_ERROR.COULD_NOT_INFER
  // [cfe] unspecified
    E3<double>(d).f3(3);
  //              ^^
  // [analyzer] COMPILE_TIME_ERROR.COULD_NOT_INFER
  // [cfe] unspecified
  
    RecSolution recs = RecSolution();
  