anchor.diff:  @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;
   
  
positive.code: 
    @override
    @failingTest
    void test_downwardsInferenceInitializingFormalDefaultFormal() {
      super.test_downwardsInferenceInitializingFormalDefaultFormal();
    }
  
    @override
    @failingTest
    void test_downwardsInferenceOnFunctionOfTUsingTheT() {
      super.test_downwardsInferenceOnFunctionOfTUsingTheT();
    }
  
negative.code: 
    @override
    @failingTest
    void test_inferCorrectlyOnMultipleVariablesDeclaredTogether() {
      super.test_inferCorrectlyOnMultipleVariablesDeclaredTogether();
    }
  