anchor.diff:    }
   
     test_infer_mixin_with_substitution_new_syntax() async {
  -    Source source = addSource('''
  +    await assertNoErrorsInCode('''
   abstract class A<T> {}
   
   class B {}
  
positive.code:   case const C(0): print('Switch: 0'); break;
    case const C(1): print('Switch: 1'); break;
    }
  }''');
      await computeAnalysisResult(source);
      assertNoErrors(source);
      verify([source]);
    }
  
    test_caseExpressionTypeImplementsEquals_int() async {
      Source source = addSource(r'''
  f(int i) {
    switch(i) {
      case(1) : return 1;
      default: return 0;
    }
  }''');
      await computeAnalysisResult(source);
      assertNoErrors(source);
      verify([source]);
    }
  
    test_caseExpressionTypeImplementsEquals_Object() async {
      Source source = addSource(r'''
  class IntWrapper {
    final int value;
    const IntWrapper(this.value);
  
negative.code: main() {
    A a = new A();
    a.x = 0;
  }
  ''');
    }
  
    test_assignmentToFinalNoSetter_propertyAccess() async {
      await assertNoErrorsInCode(r'''
  class A {
    int get x => 0;
    set x(v) {}
  