RootCauseunvalidated
Domination is a relationship between the patterns themselves. The selector expression does not matter. — A type pattern that declares a pattern variable of a type S is unconditional for a type T. Tension: there is no testing conversion that is unconditionally exact from `byte` to `Integer`. Outcome: None of these definitions refer to the selector expression of the switch.
a0218c03-f9fd-471e-bcfb-52390560668e
Domination is a relationship between the patterns themselves. The selector expression does not matter. — A type pattern that declares a pattern variable of a type S is unconditional for a type T. Tension: there is no testing conversion that is unconditionally exact from byte to Integer. Outcome: None of these definitions refer to the selector expression of the switch.