ignore `@proxy` in strong mode

pkg/analyzer/test/src/task/strong/checker_test.dart

 // Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library analyzer.test.src.task.strong.checker_test;
 
 import 'package:test_reflective_loader/test_reflective_loader.dart';
 
 import 'strong_test_helper.dart';
 
@@ skipping 622 matching lines @@
 }
 class F_error extends E {
   /*error:INVALID_METHOD_OVERRIDE*/int f(double x) => 0;
 }
 class G_error extends E implements D {
   /*error:INVALID_METHOD_OVERRIDE*/int f(double x) => 0;
 }
     ''');
   }
 
-  test_dynamicInvocation() async {
-    await checkFile('''
+  test_dynamicInvocation() {
+    return checkFile(r'''
 typedef dynamic A(dynamic x);
 class B {
   int call(int x) => x;
   double col(double x) => x;
 }
 void main() {
   {
     B f = new B();
     int x;
     double y;
     x = f(3);
     x = /*error:INVALID_ASSIGNMENT*/f.col(3.0);
     y = /*error:INVALID_ASSIGNMENT*/f(3);
     y = f.col(3.0);
     f(/*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/3.0);
     f.col(/*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/3);
   }
   {
     Function f = new B();
     int x;
     double y;
     x = /*info:DYNAMIC_CAST, info:DYNAMIC_INVOKE*/f(3);
-    x = /*info:DYNAMIC_CAST, info:DYNAMIC_INVOKE*/f.col(3.0);
+    x = /*info:DYNAMIC_CAST, info:DYNAMIC_INVOKE*/f./*error:UNDEFINED_METHOD*/col(3.0);
     y = /*info:DYNAMIC_CAST, info:DYNAMIC_INVOKE*/f(3);
-    y = /*info:DYNAMIC_CAST, info:DYNAMIC_INVOKE*/f.col(3.0);
+    y = /*info:DYNAMIC_CAST, info:DYNAMIC_INVOKE*/f./*error:UNDEFINED_METHOD*/col(3.0);
     /*info:DYNAMIC_INVOKE*/f(3.0);
     // Through type propagation, we know f is actually a B, hence the
     // hint.
-    /*info:DYNAMIC_INVOKE*/f.col(3);
+    /*info:DYNAMIC_INVOKE*/f./*error:UNDEFINED_METHOD*/col(3);
   }
   {
     A f = new B();
     int x;
     double y;
     x = /*info:DYNAMIC_CAST, info:DYNAMIC_INVOKE*/f(3);
     y = /*info:DYNAMIC_CAST, info:DYNAMIC_INVOKE*/f(3);
     /*info:DYNAMIC_INVOKE*/f(3.0);
   }
   {
     dynamic g = new B();
     /*info:DYNAMIC_INVOKE*/g.call(32.0);
     /*info:DYNAMIC_INVOKE*/g.col(42.0);
     /*info:DYNAMIC_INVOKE*/g.foo(42.0);
     /*info:DYNAMIC_INVOKE*/g.x;
     A f = new B();
-    /*info:DYNAMIC_INVOKE*/f.col(42.0);
-    /*info:DYNAMIC_INVOKE*/f.foo(42.0);
+    /*info:DYNAMIC_INVOKE*/f./*error:UNDEFINED_METHOD*/col(42.0);
+    /*info:DYNAMIC_INVOKE*/f./*error:UNDEFINED_METHOD*/foo(42.0);
     /*info:DYNAMIC_INVOKE*/f./*error:UNDEFINED_GETTER*/x;
   }
 }
 ''');
   }
 
   test_factoryConstructorDowncast() async {
     await checkFile(r'''
 class Animal {
   Animal();
@@ skipping 2667 matching lines @@
 class Child extends helper.Base {
   var f1;
   var _f2;
   var _f4;
 
   String _m1() => null;
 }
 ''');
   }
 
-  test_proxy() async {
-    await checkFile(r'''
+  test_proxy() {
+    return checkFile(r'''
 @proxy class C {}
 @proxy class D {
   var f;
   m() => null;
   operator -() => null;
   operator +(int other) => null;
   operator [](int index) => null;
   call() => null;
 }
 @proxy class F implements Function { noSuchMethod(i) => 42; }
 
 
 m() {
   D d = new D();
   d.m();
   d.m;
   d.f;
   -d;
   d + 7;
   d[7];
   d();
 
   C c = new C();
-  /*info:DYNAMIC_INVOKE*/c.m();
-  /*info:DYNAMIC_INVOKE*/c.m;
-  /*info:DYNAMIC_INVOKE*/-c;
-  /*info:DYNAMIC_INVOKE*/c + 7;
-  /*info:DYNAMIC_INVOKE*/c[7];
+  /*info:DYNAMIC_INVOKE*/c./*error:UNDEFINED_METHOD*/m();
+  /*info:DYNAMIC_INVOKE*/c./*error:UNDEFINED_GETTER*/m;
+  /*info:DYNAMIC_INVOKE,error:UNDEFINED_OPERATOR*/-c;
+  /*info:DYNAMIC_INVOKE*/c /*error:UNDEFINED_OPERATOR*/+ 7;
+  /*info:DYNAMIC_INVOKE*/c /*error:UNDEFINED_OPERATOR*/[7];
   /*error:INVOCATION_OF_NON_FUNCTION,info:DYNAMIC_INVOKE*/c();
 
   F f = new F();
-  /*info:DYNAMIC_INVOKE*/f();
+  /*error:INVOCATION_OF_NON_FUNCTION,info:DYNAMIC_INVOKE*/f();
 }
     ''');
   }
 
   test_redirectingConstructor() async {
     await checkFile('''
 class A {
   A(A x) {}
   A.two() : this(/*error:ARGUMENT_TYPE_NOT_ASSIGNABLE*/3);
 }
@@ skipping 465 matching lines @@
   test_typePromotionFromTypeParameter() async {
     // Regression test for:
     // https://github.com/dart-lang/sdk/issues/26965
     // https://github.com/dart-lang/sdk/issues/27040
     await checkFile(r'''
 void f/*<T>*/(/*=T*/ object) {
   if (object is String) print(object.substring(1));
 }
 void g/*<T extends num>*/(/*=T*/ object) {
   if (object is int) print(object.isEven);
-  if (object is String) print(/*info:DYNAMIC_INVOKE*/object.substring(1));
+  if (object is String) print(/*info:DYNAMIC_INVOKE*/object./*error:UNDEFINED_METHOD*/substring(1));
 }
 class Clonable<T> {}
 class SubClonable<T> extends Clonable<T> {
   T m(T t) => t;
 }
 void takesSubClonable/*<A>*/(SubClonable/*<A>*/ t) {}
 
 void h/*<T extends Clonable<T>>*/(/*=T*/ object) {
   if (/*info:NON_GROUND_TYPE_CHECK_INFO*/object is SubClonable/*<T>*/) {
     print(object.m(object));
@@ skipping 292 matching lines @@
 class CheckerTest_Driver extends CheckerTest {
   @override
   bool get enableNewAnalysisDriver => true;
 
   @failingTest
   @override
   test_covariantOverride_fields() async {
     await super.test_covariantOverride_fields();
   }
 }