/*
 * @test /nodynamiccopyright/
 * @bug 6843077 8006775
 * @summary static methods don't have receivers
 * @author Mahmood Ali
 * @compile/fail/ref=StaticMethods.out -XDrawDiagnostics StaticMethods.java
 */
import java.lang.annotation.*;

class StaticMethods {
  static void main(@A StaticMethods this) { }
}

@Target(ElementType.TYPE_USE)
@interface A { }