anchor.diff:      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 {
  
positive.code: class StaticTypeAnalyzerWithStrictInferenceTest
      extends StaticTypeAnalyzer2TestShared {
    @override
    void setUp() {
      super.setUp();
      AnalysisOptionsImpl options = new AnalysisOptionsImpl();
  
negative.code:     await resolveTestUnit(code, noErrors: false);
      await assertNoErrorsInCode(code);
    }
  }
  