The subsumption tree must treat an unconstrained type parameter as possibly null.
Also, if a previous case pattern handles all non-null input, any further case type pattern is subsumed.
Fixes #16688
Fixes #16671