Union members of T ruled out by pattern P. Boolean guards (non-predicates) do not advance exhaustiveness — use when(isX) or .otherwise().
T
P
when(isX)
.otherwise()
Union members of
Truled out by patternP. Boolean guards (non-predicates) do not advance exhaustiveness — usewhen(isX)or.otherwise().