Closed mpalat closed 2 weeks ago
All cases under https://cr.openjdk.org/~abimpoudis/instanceof/jep455-20240424/specs/instanceof-jls.html#jls-5.7.2
Actually, I needed to implement §5.7.2 as part of https://github.com/eclipse-jdt/eclipse.jdt.core/pull/2878
All cases under https://cr.openjdk.org/~abimpoudis/instanceof/jep455-20240424/specs/instanceof-jls.html#jls-5.7.2