@swift-5.3.3 protocol P { associatedtype T static var hoge: Types<T> { get } } enum Types<T>: P { case hoge }