与える型を明示的に指定すればtypealiasも動きますが、publicなprotocolの場合はpublicな型しか指定できません protocol P { associatedtype Foo typealias Bar=Text }