SI-8597 A test variation exercising with nested matches

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