Reported error about JEP 432's pattern matching when using the fields of record pattern component type, inferred through a wildcard.


interface Parent {
    int a();
}

class Child implements Parent {
    public int a() {
        return 3;
    }
}

record Rec<T>(T a) {}

public class InfrTest {

    private static boolean test(Rec<? extends Parent> p) {
        if (p instanceof Rec(var b)) {
            return b.a() == 3;
        }
        return false;
    }

    public static void main(String argv[]) {
        System.out.println(test(new Rec<>(new Child())));
    }
    
}

$ java --enable-preview --source 20 InfrTest.java

java.lang.AssertionError: <captured wildcard>.a
at jdk.compiler/com.sun.tools.javac.util.Assert.error(Assert.java:162)
at jdk.compiler/com.sun.tools.javac.code.Symbol$MethodSymbol.<init>(Symbol.java:1922)
at jdk.compiler/com.sun.tools.javac.code.Symbol$MethodSymbol$1.<init>(Symbol.java:1928)
at jdk.compiler/com.sun.tools.javac.code.Symbol$MethodSymbol.clone(Symbol.java:1928)
at jdk.compiler/com.sun.tools.javac.code.Symbol$MethodSymbol.clone(Symbol.java:1898)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.binaryQualifier(Gen.java:261)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.visitSelect(Gen.java:2340)
at jdk.compiler/com.sun.tools.javac.tree.JCTree$JCFieldAccess.accept(JCTree.java:2536)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genExpr(Gen.java:881)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.visitApply(Gen.java:1879)
at jdk.compiler/com.sun.tools.javac.tree.JCTree$JCMethodInvocation.accept(JCTree.java:1809)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genExpr(Gen.java:881)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.visitBinary(Gen.java:2180)
at jdk.compiler/com.sun.tools.javac.tree.JCTree$JCBinary.accept(JCTree.java:2168)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genExpr(Gen.java:881)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.visitAssign(Gen.java:2027)
at jdk.compiler/com.sun.tools.javac.tree.JCTree$JCAssign.accept(JCTree.java:2053)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genExpr(Gen.java:881)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.visitExec(Gen.java:1752)
at jdk.compiler/com.sun.tools.javac.tree.JCTree$JCExpressionStatement.accept(JCTree.java:1596)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genDef(Gen.java:610)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genStat(Gen.java:645)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genStat(Gen.java:631)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genStats(Gen.java:682)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.visitBlock(Gen.java:1101)
at jdk.compiler/com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:1082)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genDef(Gen.java:610)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genStat(Gen.java:645)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genStat(Gen.java:631)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.visitIf(Gen.java:1726)
at jdk.compiler/com.sun.tools.javac.tree.JCTree$JCIf.accept(JCTree.java:1565)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genDef(Gen.java:610)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genStat(Gen.java:645)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genStat(Gen.java:631)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genStats(Gen.java:682)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.visitBlock(Gen.java:1101)
at jdk.compiler/com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:1082)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genDef(Gen.java:610)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genStat(Gen.java:645)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genStat(Gen.java:631)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genStats(Gen.java:682)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.visitBlock(Gen.java:1101)
at jdk.compiler/com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:1082)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genDef(Gen.java:610)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genStat(Gen.java:645)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genMethod(Gen.java:971)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.visitMethodDef(Gen.java:934)
at jdk.compiler/com.sun.tools.javac.tree.JCTree$JCMethodDecl.accept(JCTree.java:912)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genDef(Gen.java:610)
at jdk.compiler/com.sun.tools.javac.jvm.Gen.genClass(Gen.java:2424)
at jdk.compiler/com.sun.tools.javac.main.JavaCompiler.genCode(JavaCompiler.java:738)
at jdk.compiler/com.sun.tools.javac.main.JavaCompiler.generate(JavaCompiler.java:1636)
at jdk.compiler/com.sun.tools.javac.main.JavaCompiler.generate(JavaCompiler.java:1604)
at jdk.compiler/com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:947)
at jdk.compiler/com.sun.tools.javac.api.JavacTaskImpl.lambda$doCall$0(JavacTaskImpl.java:104)
at jdk.compiler/com.sun.tools.javac.api.JavacTaskImpl.invocationHelper(JavacTaskImpl.java:152)
at jdk.compiler/com.sun.tools.javac.api.JavacTaskImpl.doCall(JavacTaskImpl.java:100)
at jdk.compiler/com.sun.tools.javac.api.JavacTaskImpl.call(JavacTaskImpl.java:94)
at com.sun.jck.lib.CompilerAPICommand.doCompile(CompilerAPICommand.java:386)
at com.sun.jck.lib.CompilerAPICommand.run(CompilerAPICommand.java:328)
at com.sun.javatest.agent.Agent$Task$CommandExecutor.lambda$execute$1(Agent.java:1185)
at java.base/java.lang.Thread.run(Thread.java:1591)