anchor.diff:  class StaticTypeAnalyzerWithStrictInferenceTest
       extends StaticTypeAnalyzer2TestShared {
     @override
  +  bool get enableNewAnalysisDriver => true;
  +
  +  @override
     void setUp() {
       super.setUp();
       AnalysisOptionsImpl options = new AnalysisOptionsImpl();
  
positive.code:     await resolveTestUnit(code, noErrors: false);
      await assertNoErrorsInCode(code);
    }
  
    test_topLevelVariable_withInitializer() async {
      String code = r'''
  var a = 7;
  ''';
      await resolveTestUnit(code, noErrors: false);
      await assertNoErrorsInCode(code);
    }
  
    test_localVariable() async {
      String code = r'''
  f() {
    var a;
  }
  ''';
      await resolveTestUnit(code, noErrors: false);
      await assertErrorsInCode(
          code, [HintCode.INFERENCE_FAILURE_ON_UNINITIALIZED_VARIABLE]);
    }
  
    test_localVariable_withType() async {
      String code = r'''
  f() {
    int a;
    dynamic b;
    Object c;
    Null d;
  }
  ''';
      await resolveTestUnit(code, noErrors: false);
      await assertNoErrorsInCode(code);
    }
  
    test_localVariable_withInitializer() async {
      String code = r'''
  f() {
    var a = 7;
  }
  ''';
      await resolveTestUnit(code, noErrors: false);
      await assertNoErrorsInCode(code);
    }
  }
  
negative.code:     await resolveTestUnit(code, noErrors: false);
      await assertErrorsInCode(
          code, [HintCode.INFERENCE_FAILURE_ON_UNINITIALIZED_VARIABLE]);
    }
  
    test_topLevelVariable_withInitializer() async {
      String code = r'''
  var a = 7;
  ''';
      await resolveTestUnit(code, noErrors: false);
      await assertNoErrorsInCode(code);
    }
  
    test_topLevelVariable_withType() async {
  