Re:JEP draft: Exception handling in switch
by ackfoobar on Friday April 19, 2024 @03:38PM
(#40091133)
> it is due to a lack of variadic type parameters
To be pedantic, it is due to union types "not complemented anywhere else in Java's type system". Adding variadic type params is a way to solve this. Another way is, of course, to support union types.
> with unused parameters being set to some subtype of RuntimeException
Or the `Nothing` type (`never` in TypeScript), where `A | Nothing = A`.
To be pedantic, it is due to union types "not complemented anywhere else in Java's type system". Adding variadic type params is a way to solve this. Another way is, of course, to support union types.
> with unused parameters being set to some subtype of RuntimeException
Or the `Nothing` type (`never` in TypeScript), where `A | Nothing = A`.