/*

 * @bug 6843077

 * @summary static methods don't have receivers

 * @author Mahmood Ali

 * @compile/fail/ref=StaticMethods.out -XDrawDiagnostics -source 1.7 StaticMethods.java

 */

class StaticMethods {

  static void main() @A { }

}

@interface A { }