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 { |