Opaque Result Type は実際に導入されてて、 "Improving the UI of generics" はその前提になったドキュメントだからここにいる人は知ってる前提でいいかなと。知らない人はリンク先読めるし。
func map<T, E: Error>(_ transform: (Element) throws E -> T) throws E -> [T] がいいとは限らないことに気付いた。transform が複数の種類のエラーを throw するかもしれない。 (edited)