できちゃうと、これの返値のタイプが決定できなくなってしまうのでは？ func retAAA<H : Hoge>(h: H) -> H.A { return h.aaa() }