/*
 * @test /nodynamiccopyright/
 * @bug 6843077 8006775
 * @summary static methods don't have receivers
 * @author Mahmood Ali
 * @compile/fail/ref=StaticMethods.out -XDrawDiagnostics StaticMethods.java
 */
class StaticMethods {
  static void main(StaticMethods this) { }
}

@interface A { }
