typePatternExprsExposedToChild

The following rule applies to a block statement S contained in a block that is not a switch block: - A pattern variable introduced by S is definitely matched at all the block statements following S, if any, in the block. https://docs.oracle.com/javase/specs/jls/se22/html/jls-6.html#jls-6.3.2.1