IDEADEV10716.java

import IdeaBug.Anno;

class IdeaBug {
  @interface Anno { }
}

@Anno
public class IdeaBugUser extends IdeaBug {
}