@swift-main protocol P{} extension P{ func a(){ Self.a(self)() } }