[Patterns][records] ECJ fails to generate code to deconstruct record in pattern

[srikanth-sankaran]

The following program when compiled and run should trigger a MatchException caused by java.lang.ArithmeticException but fails to - because ECJ does not generate code to deconstruct the pattern:

public class X {

	record R(int x) {
		public int x() {
			return 100 / this.x;
		}
	}

	public static void main(String[] args) {
		try {
			boolean b = new R(0) instanceof R(int i);
		} catch (Throwable t) {
			System.out.println(t.getClass().getName());
		}
	}
}

javac handles it correctly.

But javac behavior on this is suspect:

public class X {

	boolean b = new R(0) instanceof R(int i);
	record R(int x) {
		public int x() {
			return 100 / this.x;
		}
	}

	public static void main(String[] args) {
            try {
        	new X();
            } catch (Throwable t) {
        	System.out.println(t.getClass().getName());
            }
	}
}

This with javac reports java.lang.ArithmeticException unwrapped by MatchException which I think is a bug in javac