Avatar
では先の.some(u)の型は何なのか。ここでとんでもない値を導入します。 Optional<T>.some(u) もちろんこのは間違いです。
たぶんここが誤解されている点で これは「値」ではなく、u という expression-pattern を内包した enum-case-pattern です。
(edited)