SI-8597 A test variation to with nested matches

The pattern type of the inner case can't, syntactically, refer to the
pattern type variable of the enclosing case.