[jerven]

It is discussed here.

https://mail.openjdk.java.net/pipermail/amber-spec-experts/2...

[vbezhenar]

It's a discussion of a simple use-case where variable is only available inside positive if match (actually pretty logical behaviour). It does not touch unreachable code modifying lexical analysis (what really causes confusion).