| Index: pkg/analyzer/test/src/task/strong/checker_test.dart
|
| diff --git a/pkg/analyzer/test/src/task/strong/checker_test.dart b/pkg/analyzer/test/src/task/strong/checker_test.dart
|
| index 43336713ecc174c0b6c2aec833c431854ca54ad0..d939285d09182e73753d315a7a4105e1ea005ff8 100644
|
| --- a/pkg/analyzer/test/src/task/strong/checker_test.dart
|
| +++ b/pkg/analyzer/test/src/task/strong/checker_test.dart
|
| @@ -3014,6 +3014,26 @@ class Child extends helper.Base {
|
| ''');
|
| }
|
|
|
| + void test_proxy() {
|
| + checkFile(r'''
|
| +@proxy class C {}
|
| +@proxy class F implements Function { noSuchMethod(i) => 42; }
|
| +
|
| +m() {
|
| + 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];
|
| + /*error:INVOCATION_OF_NON_FUNCTION,info:DYNAMIC_INVOKE*/c();
|
| +
|
| + F f = new F();
|
| + /*info:DYNAMIC_INVOKE*/f();
|
| +}
|
| + ''');
|
| + }
|
| +
|
| void test_redirectingConstructor() {
|
| checkFile('''
|
| class A {
|
|
|