anchor.diff:  Iterable<Map<int, int>> bar() sync* {
     yield /*info:INFERRED_TYPE_LITERAL*/{};
     yield /*error:YIELD_OF_INVALID_TYPE*/new List();
  -  yield* {};
  +  yield* /*info:INFERRED_TYPE_LITERAL*/{};
     yield* /*info:INFERRED_TYPE_ALLOCATION*/new List();
   }
   ''');
  
positive.code:   }
  
    @override
    @FailingTest(issue: 'https://github.com/dart-lang/sdk/issues/35569')
    test_downwardsInferenceYieldYieldStar() async {
      // The fifth to last case is inferred differently with set_literals enabled,
      // and no longer an error compared to the base implementation.
  
negative.code:     };
    }
    {
      Map<dynamic, dynamic> l0 = /*info:INFERRED_TYPE_LITERAL*/{};
      Map<dynamic, dynamic> l1 = /*info:INFERRED_TYPE_LITERAL*/{3: "hello"};
      Map<dynamic, dynamic> l2 = /*info:INFERRED_TYPE_LITERAL*/{"hello": "hello"};
      Map<dynamic, dynamic> l3 = /*info:INFERRED_TYPE_LITERAL*/{3: 3};
      Map<dynamic, dynamic> l4 = /*info:INFERRED_TYPE_LITERAL*/{3:"hello", "hello": 3};
    }
    {
      Map<dynamic, String> l0 = /*info:INFERRED_TYPE_LITERAL*/{};
  