1/*
2 * @test /nodynamiccopyright/
3 * @bug 8175198
4 * @summary Javac incorrectly allows receiver parameters in annotation methods
5 * @compile/fail/ref=AnnotationsAndFormalParamsTest.out -XDrawDiagnostics -Werror -Xlint:unchecked AnnotationsAndFormalParamsTest.java
6 */
7
8@interface AnnotationsAndFormalParamsTest {
9    int value(int i);
10    int foo(AnnotationsAndFormalParamsTest this);
11}
12