anchor.diff:    @failingTest
     void test_propagateInferenceTransitively2() {
       super.test_propagateInferenceTransitively2();
  +  }
  +
  +  LibraryElementImpl _checkSource(
  +      SummaryResynthesizer resynthesizer, Source source) {
  +    LibraryElementImpl resynthesized =
  +        resynthesizer.getLibraryElement(source.uri.toString());
  +    LibraryElementImpl original = context.computeLibraryElement(source);
  +    checkLibraryElements(original, resynthesized);
  +    return resynthesized;
     }
   }
   
  
positive.code: 
    @override
    void addFile(String content, {String name: '/main.dart'}) {
      addSource(name, content);
    }
  
    @override
    CompilationUnitElement checkFile(String content) {
      Source source = addSource('/main.dart', content);
      LibraryElementImpl resynthesized = _encodeDecodeLibraryElement(source);
      LibraryElementImpl original = context.computeLibraryElement(source);
      checkLibraryElements(original, resynthesized);
      return resynthesized.definingCompilationUnit;
    }
  
  
negative.code:   @failingTest
    void test_blockBodiedLambdas_syncStar() {
      super.test_blockBodiedLambdas_syncStar();
    }
  
    @override
    @failingTest
    void test_canInferAlsoFromStaticAndInstanceFieldsFlagOn() {
      super.test_canInferAlsoFromStaticAndInstanceFieldsFlagOn();
    }
  
    @override
  