anchor.diff:      const Map<int, String> l0 = /*info:INFERRED_TYPE_LITERAL*/const {};
       const Map<int, String> l1 = /*info:INFERRED_TYPE_LITERAL*/const {3: "hello"};
       const Map<int, String> l2 = /*info:INFERRED_TYPE_LITERAL*/const {
  -      /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE,error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/"hello":
  +      /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/"hello":
             "hello"
       };
       const Map<int, String> l3 = /*info:INFERRED_TYPE_LITERAL*/const {
  -      3: /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE,error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/3
  +      3: /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/3
       };
       const Map<int, String> l4 = /*info:INFERRED_TYPE_LITERAL*/const {
         3:"hello",
  -      /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE,error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/"hello":
  -          /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE,error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/3
  +      /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/"hello":
  +          /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/3
       };
     }
   }
   ''');
     }
   
  -  @FailingTest(issue: 'https://github.com/dart-lang/sdk/issues/35569')
     test_downwardsInferenceYieldYieldStar() async {
       await checkFileElement('''
   import 'dart:async';
  
positive.code:     };
    }
    {
      Map<dynamic, dynamic> l0 = {};
      Map<dynamic, dynamic> l1 = {3: "hello"};
      Map<dynamic, dynamic> l2 = {"hello": "hello"};
      Map<dynamic, dynamic> l3 = {3: 3};
      Map<dynamic, dynamic> l4 = {3:"hello", "hello": 3};
    }
    {
      Map<dynamic, String> l0 = /*info:INFERRED_TYPE_LITERAL*/{};
  
negative.code:     expect(v.type.toString(), 'List<(int) → Object>');
    }
  
    test_inferFromComplexExpressionsIfOuterMostValueIsPrecise() async {
      await checkFileElement('''
  class A { int x; B operator+(other) => null; }
  