@norio_nomura さんの workaround 今回のに適用すると、

protocol HasElement { associatedtype Element } extension Array : HasElement {} struct Hoge<T> { } extension Hoge where T: HasElement { func fuga() -> T.Element { // 通る fatalError() } }

(edited)