anchor.diff:  
     @override
     @failingTest
  -  void test_inferConstsTransitively() {
  -    super.test_inferConstsTransitively();
  -  }
  -
  -  @override
  -  @failingTest
     void test_inferCorrectlyOnMultipleVariablesDeclaredTogether() {
       super.test_inferCorrectlyOnMultipleVariablesDeclaredTogether();
     }
  
positive.code:   @failingTest
    void test_genericMethods_inferJSBuiltin() {
      super.test_genericMethods_inferJSBuiltin();
    }
  
    @override
    @failingTest
    void test_genericMethods_IterableAndFuture() {
      super.test_genericMethods_IterableAndFuture();
    }
  
    void test_infer_extractProperty_getter() {
  
negative.code: 
    @override
    @failingTest
    void test_downwardsInferenceYieldYieldStar() {
      super.test_downwardsInferenceYieldYieldStar();
    }
  