class C {
  class A
  def a = () => ()
  def a = (p:A) => ()
  a[A]
}