enum Enum2<T0, T1> { case case0(T0) case case1(T1) } func foo(x: Enum2<Int, Never>) -> Int { switch x { case .case0(let x): return x } }

9.0 beta3 でこれは通ります。