anchor.diff:    @failingTest
     void test_inferFromRhsOnlyIfItWontConflictWithOverriddenFields() {
       super.test_inferFromRhsOnlyIfItWontConflictWithOverriddenFields();
  -  }
  -
  -  @override
  -  @failingTest
  -  void test_inferFromRhsOnlyIfItWontConflictWithOverriddenFields2() {
  -    super.test_inferFromRhsOnlyIfItWontConflictWithOverriddenFields2();
  -  }
  -
  -  @override
  -  @failingTest
  -  void test_inferIfComplexExpressionsReadPossibleInferredField() {
  -    super.test_inferIfComplexExpressionsReadPossibleInferredField();
  -  }
  -
  -  @override
  -  @failingTest
  -  void test_inferredInitializingFormalChecksDefaultValue() {
  -    super.test_inferredInitializingFormalChecksDefaultValue();
  -  }
  -
  -  @override
  -  @failingTest
  -  void test_inferStaticsTransitively() {
  -    super.test_inferStaticsTransitively();
  -  }
  -
  -  @override
  -  @failingTest
  -  void test_inferStaticsTransitively2() {
  -    super.test_inferStaticsTransitively2();
  -  }
  -
  -  @override
  -  @failingTest
  -  void test_inferStaticsTransitively3() {
  -    super.test_inferStaticsTransitively3();
  -  }
  -
  -  @override
  -  @failingTest
  -  void test_inferTypeOnVarFromField() {
  -    super.test_inferTypeOnVarFromField();
  -  }
  -
  -  @override
  -  @failingTest
  -  void test_inferTypeOnVarFromTopLevel() {
  -    super.test_inferTypeOnVarFromTopLevel();
     }
   
     @override
  
positive.code: 
    @override
    @failingTest
    void test_downwardsInferenceInitializingFormalDefaultFormal() {
      super.test_downwardsInferenceInitializingFormalDefaultFormal();
    }
  
    @override
    @failingTest
    void test_downwardsInferenceOnFunctionOfTUsingTheT() {
      super.test_downwardsInferenceOnFunctionOfTUsingTheT();
    }
  
negative.code: @reflectiveTest
  class AstInferredTypeTest extends AbstractResynthesizeTest
      with _AstResynthesizeTestMixin, InferredTypeMixin {
    bool get checkPropagatedTypes {
      // AST-based summaries do not yet handle propagated types.
      // TODO(paulberry): fix this.
      return false;
    }
  
    @override
    bool get skipBrokenAstInference => true;
  
  