aspect A {
  void B.m(){}

  public static void doit(B b) { b.m(); }
}