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