anchor.diff:    bool get hasExtraTaskModelPass => false;
   
     @override
  -  test_circularReference_viaClosures() async {
  -    await super.test_circularReference_viaClosures();
  -  }
  +  bool get mayCheckTypesOfLocals => true;
   
     @override
  -  test_circularReference_viaClosures_initializerTypes() async {
  -    await super.test_circularReference_viaClosures_initializerTypes();
  -  }
  -
  +  Future<CompilationUnitElement> checkFileElement(String content) async {
  +    CompilationUnit unit = await checkFile(content);
  +    return unit.declaredElement;
  +  }
  +
  +  @failingTest
     @override
  -  test_instantiateToBounds_typeName_OK_hasBound_definedAfter() async {
  -    await super.test_instantiateToBounds_typeName_OK_hasBound_definedAfter();
  -  }
  -
  -  @override
  -  test_listLiteralsCanInferNull_topLevel() =>
  -      super.test_listLiteralsCanInferNull_topLevel();
  -
  -  @override
  -  test_mapLiteralsCanInferNull_topLevel() =>
  -      super.test_mapLiteralsCanInferNull_topLevel();
  -
  -  @override
  -  test_nullCoalescingOperator() async {
  -    await super.test_nullCoalescingOperator();
  -  }
  -
  -  @override
  -  test_unsafeBlockClosureInference_closureCall() async {
  -    await super.test_unsafeBlockClosureInference_closureCall();
  +  test_unsafeBlockClosureInference_functionCall_explicitDynamicParam_viaExpr1() {
  +    return super
  +        .test_unsafeBlockClosureInference_functionCall_explicitDynamicParam_viaExpr1();
     }
   
     @failingTest
  
positive.code:     expect(y.type.toString(), 'dynamic');
    }
  
    @failingTest
    test_circularReference_viaClosures_initializerTypes() async {
      var mainUnit = await checkFileElement('''
  var x = /*info:INFERRED_TYPE_CLOSURE*/() => /*error:TOP_LEVEL_CYCLE*/y;
  
negative.code:     CompilationUnit unit = await checkFile(content);
      return unit.declaredElement;
    }
  
    @override
    @failingTest
    test_circularReference_viaClosures() {
      return super.test_circularReference_viaClosures();
    }
  
    @override
    @failingTest
    test_circularReference_viaClosures_initializerTypes() {
      return super.test_circularReference_viaClosures_initializerTypes();
    }
  
    @override
    @failingTest
    test_instantiateToBounds_typeName_OK_hasBound_definedAfter() {
      return super.test_instantiateToBounds_typeName_OK_hasBound_definedAfter();
    }
  
    @override
    @failingTest
    test_unsafeBlockClosureInference_functionCall_explicitDynamicParam_viaExpr1() {
      return super
          .test_unsafeBlockClosureInference_functionCall_explicitDynamicParam_viaExpr1();
    }
  
    @failingTest
    @override
    test_unsafeBlockClosureInference_functionCall_explicitTypeParam_viaExpr1() {
      return super
          .test_unsafeBlockClosureInference_functionCall_explicitTypeParam_viaExpr1();
    }
  }
  
  @reflectiveTest
  class InferredTypeTest_Driver extends AbstractStrongTest
      with InferredTypeMixin {
    @override
    bool get enableNewAnalysisDriver => true;
  
  