class A {}
public abstract aspect Pr51322
{
  public void A.aMethod(Object x) {}
  public void A.someMethod(WCharType a) { }
}