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 }