[2025-12-08T15:34:26,484Z] [DIRECT]:
[2025-12-08T15:34:26,484Z] Demo.java:13:16: compiler.err.not.exhaustive
[2025-12-08T15:34:26,484Z] 1 error
[2025-12-08T15:34:26,484Z]
[2025-12-08T15:34:26,484Z] test: testNonSealedDiamondGeneric
[2025-12-08T15:34:26,484Z]
[2025-12-08T15:34:26,484Z] test: testNonSealedDiamond2
[2025-12-08T15:34:26,484Z] [DIRECT]:
[2025-12-08T15:34:26,484Z] Demo.java:12:16: compiler.err.not.exhaustive
[2025-12-08T15:34:26,484Z] 1 error
[2025-12-08T15:34:26,484Z]
[2025-12-08T15:34:26,484Z] test: testDiamondInheritance3
[2025-12-08T15:34:26,484Z]
[2025-12-08T15:34:26,484Z] test: testDeeplyNestedExhaustive
[2025-12-08T15:34:26,484Z] analyzing:
[2025-12-08T15:34:26,484Z] package test;
[2025-12-08T15:34:26,485Z] public class Test {
[2025-12-08T15:34:26,485Z] sealed interface I {}
[2025-12-08T15:34:26,485Z] final class C implements I {}
[2025-12-08T15:34:26,485Z] record R(I c1, I c2, I c3) implements I {}
[2025-12-08T15:34:26,485Z]
[2025-12-08T15:34:26,485Z] void test(I i) {
[2025-12-08T15:34:26,485Z] switch (i) {
[2025-12-08T15:34:26,485Z] case R(R(C v0, C v1, C v2), C v3, R(I v4, C v5, C v6)) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(C v0, R(R(C v1, C v2, I v3), C v4, C v5), C v6) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(C v0, C v1, R(R(R(C v2, I v3, I v4), I v5, I v6), R(I v7, C v8, I v9), I v10)) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(R(C v0, R(C v1, I v2, I v3), I v4), R(I v5, R(I v6, C v7, C v8), I v9), I v10) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(R(R(R(C v0, I v1, I v2), I v3, I v4), I v5, I v6), C v7, R(I v8, R(I v9, C v10, I v11), I v12)) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(C v0, R(R(R(C v1, I v2, I v3), I v4, I v5), R(I v6, R(I v7, R(I v8, I v9, I v10), I v11), I v12), I v13), I v14) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(R(R(C v0, C v1, I v2), I v3, I v4), R(I v5, C v6, R(I v7, C v8, I v9)), I v10) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(C v0, C v1, R(C v2, C v3, R(C v4, R(I v5, I v6, I v7), I v8))) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(C v0, C v1, R(R(R(R(I v2, I v3, I v4), I v5, I v6), I v7, I v8), R(I v9, R(I v10, I v11, I v12), I v13), I v14)) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(R(C v0, R(C v1, I v2, I v3), I v4), R(I v5, C v6, R(I v7, R(I v8, I v9, I v10), I v11)), I v12) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(R(C v0, C v1, R(R v2, I v3, R v4)), C v5, C v6) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(C v0, C v1, R(C v2, C v3, C v4)) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(R(R(C v0, C v1, I v2), I v3, I v4), C v5, R(I v6, C v7, R(I v8, I v9, I v10))) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(C v0, R(R(R(R(I v1, I v2, I v3), I v4, I v5), I v6, I v7), R(I v8, C v9, R(I v10, I v11, I v12)), I v13), I v14) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(C v0, R(R(C v1, C v2, I v3), C v4, C v5), R(I v6, I v7, I v8)) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(C v0, C v1, R(R(R(C v2, I v3, I v4), I v5, I v6), C v7, C v8)) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(C v0, R(R(R(C v1, I v2, I v3), I v4, I v5), R(I v6, C v7, R(I v8, I v9, I v10)), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(R(R(R(R(I v0, I v1, I v2), I v3, I v4), I v5, I v6), I v7, I v8), C v9, R(I v10, C v11, R(I v12, I v13, I v14))) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(R(C v0, R(R(I v1, I v2, I v3), I v4, I v5), I v6), R(I v7, C v8, R(I v9, R(I v10, I v11, I v12), I v13)), I v14) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(C v0, R(C v1, R(C v2, C v3, R(C v4, I v5, I v6)), I v7), I v8) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(R(C v0, C v1, R(I v2, I v3, I v4)), R(I v5, C v6, R(I v7, R(I v8, I v9, I v10), I v11)), I v12) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(C v0, R(C v1, C v2, C v3), R(C v4, C v5, I v6)) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(C v0, C v1, R(R(C v2, C v3, I v4), C v5, R(I v6, I v7, I v8))) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(R(C v0, C v1, C v2), C v3, R(I v4, R(I v5, R(I v6, I v7, I v8), I v9), I v10)) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(R(R(R(R(I v0, I v1, I v2), I v3, I v4), I v5, I v6), I v7, I v8), C v9, R(I v10, R(I v11, R(I v12, I v13, I v14), I v15), I v16)) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(R(C v0, R(R(I v1, I v2, I v3), I v4, I v5), I v6), R(I v7, R(I v8, R(I v9, C v10, I v11), I v12), I v13), I v14) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(C v0, R(R(R(C v1, I v2, I v3), I v4, I v5), C v6, R(I v7, R(I v8, I v9, I v10), I v11)), I v12) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(C v0, R(R(R(C v1, I v2, I v3), I v4, I v5), R(I v6, R(I v7, C v8, I v9), I v10), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(C v0, C v1, R(C v2, R(C v3, R(R(I v4, I v5, I v6), I v7, I v8), I v9), I v10)) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(R(C v0, R(R(I v1, I v2, I v3), I v4, I v5), I v6), R(I v7, C v8, C v9), R(I v10, I v11, I v12)) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(C v0, C v1, R(R(C v2, R(I v3, I v4, I v5), I v6), R(I v7, C v8, I v9), I v10)) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(R(C v0, C v1, C v2), R(I v3, C v4, R(I v5, C v6, I v7)), I v8) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(R(C v0, R(C v1, I v2, I v3), I v4), C v5, R(I v6, R(I v7, R(I v8, I v9, I v10), I v11), I v12)) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(R(R(C v0, C v1, I v2), I v3, I v4), R(I v5, R(I v6, R(I v7, C v8, I v9), I v10), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(R(C v0, C v1, R(I v2, I v3, I v4)), R(I v5, R(I v6, C v7, C v8), I v9), I v10) -> System.err.println();
[2025-12-08T15:34:26,485Z] case R(R(R(C v0, R(I v1, I v2, I v3), I v4), I v5, I v6), R(I v7, C v8, C v9), R(I v10, I v11, I v12)) -> System.err.println();
[2025-12-08T15:34:26,486Z] case R(R(C v0, C v1, C v2), C v3, R(I v4, C v5, R(I v6, I v7, I v8))) -> System.err.println();
[2025-12-08T15:34:26,486Z] case R(C v0, R(R(R(R(I v1, I v2, I v3), I v4, I v5), I v6, I v7), R(I v8, R(I v9, C v10, I v11), I v12), I v13), I v14) -> System.err.println();
[2025-12-08T15:34:26,486Z] case R(R(R(R(C v0, I v1, I v2), I v3, I v4), I v5, I v6), C v7, C v8) -> System.err.println();
[2025-12-08T15:34:26,486Z] case R(C v0, C v1, R(R(R(R(I v2, I v3, I v4), I v5, I v6), I v7, I v8), C v9, R(I v10, I v11, I v12))) -> System.err.println();
[2025-12-08T15:34:26,486Z] case R(R(R(R(R(I v0, I v1, I v2), I v3, I v4), I v5, I v6), I v7, I v8), R(I v9, C v10, R(I v11, R(I v12, I v13, I v14), I v15)), I v16) -> System.err.println();
[2025-12-08T15:34:26,486Z] case R(C v0, C v1, R(R(C v2, R(I v3, I v4, I v5), I v6), R(I v7, R(I v8, I v9, I v10), I v11), I v12)) -> System.err.println();
[2025-12-08T15:34:26,486Z] case R(C v0, R(R(C v1, R(I v2, I v3, I v4), I v5), R(I v6, R(I v7, R(I v8, I v9, I v10), I v11), I v12), I v13), I v14) -> System.err.println();
[2025-12-08T15:34:26,486Z] case R(R(R(C v0, C v1, I v2), I v3, I v4), C v5, C v6) -> System.err.println();
[2025-12-08T15:34:26,486Z] case R(R(C v0, R(C v1, I v2, I v3), I v4), C v5, C v6) -> System.err.println();
[2025-12-08T15:34:26,486Z] case R(C v0, R(C v1, C v2, R(R(R(I v3, I v4, I v5), I v6, I v7), C v8, I v9)), I v10) -> System.err.println();
[2025-12-08T15:34:26,486Z] case R(R(R(R(R(I v0, I v1, I v2), I v3, I v4), I v5, I v6), I v7, I v8), R(I v9, R(I v10, R(I v11, C v12, I v13), I v14), I v15), I v16) -> System.err.println();
[2025-12-08T15:34:26,487Z] case R(R(C v0, R(R(I v1, I v2, I v3), I v4, I v5), I v6), R(I v7, C v8, R(I v9, C v10, I v11)), I v12) -> System.err.println();
[2025-12-08T15:34:26,487Z] case R(R(R(C v0, C v1, I v2), I v3, I v4), R(I v5, R(I v6, C v7, R(I v8, I v9, I v10)), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,487Z] case R(C v0, R(R(C v1, R(I v2, I v3, I v4), I v5), C v6, R(I v7, R(I v8, I v9, I v10), I v11)), I v12) -> System.err.println();
[2025-12-08T15:34:26,487Z] case R(R(C v0, R(R(I v1, I v2, I v3), I v4, I v5), I v6), C v7, R(I v8, C v9, R(I v10, I v11, I v12))) -> System.err.println();
[2025-12-08T15:34:26,487Z] case R(R(R(R(R(C v0, I v1, C v2), I v3, I v4), I v5, I v6), I v7, I v8), R(I v9, C v10, R(I v11, C v12, I v13)), I v14) -> System.err.println();
[2025-12-08T15:34:26,487Z] case R(R(R(R(R(I v0, I v1, I v2), I v3, I v4), I v5, I v6), I v7, I v8), R(I v9, C v10, C v11), R(I v12, I v13, I v14)) -> System.err.println();
[2025-12-08T15:34:26,487Z] case R(C v0, R(R(C v1, R(I v2, I v3, I v4), I v5), C v6, C v7), R(I v8, I v9, I v10)) -> System.err.println();
[2025-12-08T15:34:26,487Z] case R(C v0, C v1, R(C v2, C v3, R(R(C v4, I v5, I v6), I v7, I v8))) -> System.err.println();
[2025-12-08T15:34:26,487Z] case R(C v0, R(R(C v1, R(I v2, I v3, I v4), I v5), R(I v6, R(I v7, C v8, I v9), I v10), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,488Z] case R(C v0, C v1, R(R(C v2, R(I v3, I v4, I v5), I v6), C v7, R(I v8, I v9, I v10))) -> System.err.println();
[2025-12-08T15:34:26,488Z] case R(R(R(R(C v0, I v1, I v2), I v3, I v4), I v5, I v6), C v7, R(I v8, R(I v9, R(I v10, I v11, I v12), I v13), I v14)) -> System.err.println();
[2025-12-08T15:34:26,488Z] case R(R(C v0, R(R(I v1, I v2, I v3), I v4, I v5), I v6), C v7, R(I v8, R(I v9, C v10, I v11), I v12)) -> System.err.println();
[2025-12-08T15:34:26,488Z] case R(C v0, R(R(R(C v1, I v2, I v3), I v4, I v5), C v6, C v7), R(I v8, I v9, I v10)) -> System.err.println();
[2025-12-08T15:34:26,488Z] case R(C v0, C v1, R(C v2, C v3, R(R(R(I v4, I v5, I v6), I v7, I v8), I v9, I v10))) -> System.err.println();
[2025-12-08T15:34:26,488Z] case R(R(R(C v0, C v1, I v2), I v3, I v4), R(I v5, C v6, C v7), R(I v8, I v9, I v10)) -> System.err.println();
[2025-12-08T15:34:26,488Z] case R(R(R(C v0, R(I v1, I v2, I v3), I v4), I v5, I v6), R(I v7, R(I v8, R(I v9, R(I v10, I v11, I v12), I v13), I v14), I v15), I v16) -> System.err.println();
[2025-12-08T15:34:26,488Z] case R(C v0, R(C v1, C v2, R(R(C v3, I v4, I v5), R(C v6, I v7, R v8), I v9)), I v10) -> System.err.println();
[2025-12-08T15:34:26,488Z] case R(R(R(C v0, R(I v1, I v2, I v3), I v4), I v5, I v6), C v7, R(I v8, R(I v9, R(I v10, I v11, I v12), I v13), I v14)) -> System.err.println();
[2025-12-08T15:34:26,488Z] case R(R(C v0, C v1, C v2), R(I v3, R(I v4, C v5, C v6), I v7), I v8) -> System.err.println();
[2025-12-08T15:34:26,488Z] case R(R(R(R(R(I v0, I v1, I v2), I v3, I v4), I v5, I v6), I v7, I v8), C v9, R(I v10, R(I v11, C v12, I v13), I v14)) -> System.err.println();
[2025-12-08T15:34:26,488Z] case R(R(C v0, C v1, R(C v2, I v3, C v4)), C v5, C v6) -> System.err.println();
[2025-12-08T15:34:26,488Z] case R(C v0, R(R(C v1, R(I v2, I v3, I v4), I v5), C v6, C v7), C v8) -> System.err.println();
[2025-12-08T15:34:26,489Z] case R(C v0, R(C v1, R(R(R(I v2, I v3, I v4), I v5, I v6), R(I v7, R(I v8, I v9, I v10), I v11), I v12), I v13), I v14) -> System.err.println();
[2025-12-08T15:34:26,489Z] case R(R(R(C v0, C v1, I v2), I v3, I v4), R(I v5, R(I v6, R(I v7, R(I v8, I v9, I v10), I v11), I v12), I v13), I v14) -> System.err.println();
[2025-12-08T15:34:26,489Z] case R(C v0, C v1, R(C v2, R(C v3, R(C v4, I v5, I v6), I v7), I v8)) -> System.err.println();
[2025-12-08T15:34:26,489Z] case R(R(R(C v0, R(I v1, I v2, I v3), I v4), I v5, I v6), C v7, R(I v8, C v9, C v10)) -> System.err.println();
[2025-12-08T15:34:26,489Z] case R(C v0, C v1, R(R(C v2, C v3, I v4), R(I v5, C v6, I v7), I v8)) -> System.err.println();
[2025-12-08T15:34:26,489Z] case R(C v0, R(C v1, R(C v2, R(C v3, C v4, I v5), I v6), I v7), I v8) -> System.err.println();
[2025-12-08T15:34:26,489Z] case R(C v0, R(C v1, R(R(R(I v2, I v3, I v4), I v5, I v6), C v7, C v8), I v9), I v10) -> System.err.println();
[2025-12-08T15:34:26,489Z] case R(R(R(R(C v0, I v1, I v2), I v3, I v4), I v5, I v6), R(I v7, R(I v8, C v9, C v10), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,489Z] case R(C v0, R(R(C v1, R(I v2, I v3, I v4), I v5), R(I v6, C v7, R(I v8, I v9, I v10)), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,489Z] case R(C v0, R(C v1, R(R(C v2, I v3, I v4), C v5, R(I v6, I v7, I v8)), I v9), I v10) -> System.err.println();
[2025-12-08T15:34:26,489Z] case R(R(C v0, R(C v1, I v2, I v3), I v4), C v5, R(I v6, R(I v7, C v8, I v9), I v10)) -> System.err.println();
[2025-12-08T15:34:26,489Z] case R(R(R(C v0, C v1, I v2), I v3, I v4), R(I v5, C v6, R(I v7, R(I v8, I v9, I v10), I v11)), I v12) -> System.err.println();
[2025-12-08T15:34:26,489Z] case R(R(C v0, C v1, C v2), R(I v3, C v4, C v5), C v6) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(R(R(C v0, C v1, I v2), I v3, I v4), R(I v5, C v6, C v7), C v8) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(R(C v0, C v1, R(R v2, I v3, C v4)), C v5, C v6) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(C v0, R(R(C v1, C v2, I v3), R(I v4, R(I v5, R(I v6, I v7, I v8), I v9), I v10), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(C v0, R(C v1, C v2, R(R(C v3, I v4, I v5), R(C v6, I v7, C v8), I v9)), I v10) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(R(C v0, C v1, R(I v2, I v3, I v4)), R(I v5, R(I v6, R(I v7, C v8, I v9), I v10), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(R(C v0, R(C v1, I v2, I v3), I v4), R(I v5, R(I v6, C v7, R(I v8, I v9, I v10)), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(C v0, R(C v1, C v2, R(C v3, R(C v4, I v5, I v6), I v7)), I v8) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(R(C v0, C v1, R(I v2, I v3, I v4)), C v5, R(I v6, C v7, C v8)) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(R(R(R(C v0, I v1, I v2), I v3, I v4), I v5, I v6), C v7, R(I v8, C v9, C v10)) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(R(C v0, C v1, C v2), R(I v3, R(I v4, R(I v5, R(I v6, I v7, I v8), I v9), I v10), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(R(C v0, R(C v1, I v2, I v3), I v4), R(I v5, C v6, C v7), C v8) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(R(C v0, C v1, C v2), R(I v3, C v4, C v5), R(I v6, I v7, I v8)) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(R(R(R(C v0, I v1, I v2), I v3, I v4), I v5, I v6), R(I v7, R(I v8, R(I v9, R(I v10, I v11, I v12), I v13), I v14), I v15), I v16) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(R(R(R(C v0, I v1, I v2), I v3, I v4), I v5, I v6), R(I v7, C v8, C v9), R(I v10, I v11, I v12)) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(C v0, C v1, R(C v2, R(R(R(I v3, I v4, I v5), I v6, I v7), C v8, I v9), I v10)) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(R(C v0, R(R(I v1, I v2, I v3), I v4, I v5), I v6), R(I v7, C v8, C v9), C v10) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(C v0, R(R(R(C v1, I v2, I v3), I v4, I v5), C v6, R(I v7, C v8, I v9)), I v10) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(C v0, R(C v1, C v2, C v3), R(R(C v4, I v5, I v6), I v7, I v8)) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(R(C v0, C v1, R(I v2, I v3, I v4)), C v5, R(I v6, R(I v7, R(I v8, I v9, I v10), I v11), I v12)) -> System.err.println();
[2025-12-08T15:34:26,491Z] case R(C v0, R(R(C v1, C v2, I v3), R(I v4, C v5, R(I v6, I v7, I v8)), I v9), I v10) -> System.err.println();
[2025-12-08T15:34:26,492Z] case R(C v0, R(C v1, R(C v2, R(R(I v3, I v4, I v5), C v6, I v7), I v8), I v9), I v10) -> System.err.println();
[2025-12-08T15:34:26,492Z] case R(C v0, C v1, R(C v2, C v3, R(C v4, C v5, I v6))) -> System.err.println();
[2025-12-08T15:34:26,492Z] case R(R(C v0, R(R(I v1, I v2, I v3), I v4, I v5), I v6), R(I v7, R(I v8, R(I v9, R(I v10, I v11, I v12), I v13), I v14), I v15), I v16) -> System.err.println();
[2025-12-08T15:34:26,492Z] case R(R(R(R(C v0, I v1, I v2), I v3, I v4), I v5, I v6), R(I v7, R(I v8, R(I v9, C v10, I v11), I v12), I v13), I v14) -> System.err.println();
[2025-12-08T15:34:26,492Z] case R(R(C v0, R(R(I v1, I v2, I v3), I v4, I v5), I v6), R(I v7, R(I v8, C v9, C v10), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,492Z] case R(R(C v0, C v1, R(I v2, I v3, I v4)), C v5, R(I v6, R(I v7, C v8, I v9), I v10)) -> System.err.println();
[2025-12-08T15:34:26,492Z] case R(R(R(R(R(I v0, I v1, I v2), I v3, I v4), I v5, I v6), I v7, I v8), C v9, R(I v10, C v11, C v12)) -> System.err.println();
[2025-12-08T15:34:26,493Z] case R(R(R(C v0, R(I v1, I v2, I v3), I v4), I v5, I v6), C v7, R(I v8, R(I v9, C v10, I v11), I v12)) -> System.err.println();
[2025-12-08T15:34:26,493Z] case R(R(R(C v0, C v1, I v2), I v3, I v4), C v5, R(I v6, R(I v7, R(I v8, I v9, I v10), I v11), I v12)) -> System.err.println();
[2025-12-08T15:34:26,493Z] case R(R(R(R(C v0, I v1, I v2), I v3, I v4), I v5, I v6), R(I v7, C v8, R(I v9, R(I v10, I v11, I v12), I v13)), I v14) -> System.err.println();
[2025-12-08T15:34:26,493Z] case R(C v0, R(C v1, C v2, R(C v3, C v4, C v5)), I v6) -> System.err.println();
[2025-12-08T15:34:26,493Z] case R(R(C v0, R(C v1, I v2, I v3), I v4), R(I v5, R(I v6, R(I v7, R(I v8, I v9, I v10), I v11), I v12), I v13), I v14) -> System.err.println();
[2025-12-08T15:34:26,493Z] case R(R(C v0, R(R(I v1, I v2, I v3), I v4, I v5), I v6), C v7, C v8) -> System.err.println();
[2025-12-08T15:34:26,493Z] case R(R(C v0, C v1, R(I v2, I v3, I v4)), R(I v5, C v6, C v7), R(I v8, I v9, I v10)) -> System.err.println();
[2025-12-08T15:34:26,493Z] case R(R(R(C v0, R(I v1, I v2, I v3), I v4), I v5, I v6), R(I v7, R(I v8, C v9, C v10), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,494Z] case R(C v0, C v1, R(R(R(C v2, I v3, I v4), I v5, I v6), R(I v7, R(I v8, I v9, I v10), I v11), I v12)) -> System.err.println();
[2025-12-08T15:34:26,494Z] case R(C v0, R(C v1, C v2, R(C v3, R(R(I v4, I v5, I v6), I v7, I v8), I v9)), I v10) -> System.err.println();
[2025-12-08T15:34:26,494Z] case R(C v0, C v1, R(C v2, R(R(R(I v3, I v4, I v5), I v6, I v7), R(I v8, I v9, I v10), I v11), I v12)) -> System.err.println();
[2025-12-08T15:34:26,494Z] case R(C v0, C v1, R(R(R(R(I v2, I v3, I v4), I v5, I v6), I v7, I v8), C v9, C v10)) -> System.err.println();
[2025-12-08T15:34:26,494Z] case R(C v0, C v1, R(R(C v2, C v3, I v4), C v5, C v6)) -> System.err.println();
[2025-12-08T15:34:26,494Z] case R(C v0, R(R(C v1, C v2, I v3), C v4, R(I v5, R(I v6, I v7, I v8), I v9)), I v10) -> System.err.println();
[2025-12-08T15:34:26,494Z] case R(C v0, R(R(C v1, R(I v2, I v3, I v4), I v5), R(I v6, C v7, C v8), I v9), I v10) -> System.err.println();
[2025-12-08T15:34:26,494Z] case R(C v0, C v1, R(C v2, R(R(C v3, I v4, I v5), R(I v6, I v7, I v8), I v9), I v10)) -> System.err.println();
[2025-12-08T15:34:26,494Z] case R(C v0, R(C v1, C v2, R(C v3, C v4, R(I v5, I v6, I v7))), I v8) -> System.err.println();
[2025-12-08T15:34:26,494Z] case R(C v0, R(C v1, R(R(R(I v2, I v3, I v4), I v5, I v6), C v7, R(I v8, I v9, I v10)), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,494Z] case R(R(R(R(R(R v0, I v1, R v2), I v3, I v4), I v5, I v6), I v7, I v8), R(I v9, C v10, C v11), C v12) -> System.err.println();
[2025-12-08T15:34:26,494Z] case R(R(R(C v0, C v1, I v2), I v3, I v4), R(I v5, R(I v6, C v7, C v8), I v9), I v10) -> System.err.println();
[2025-12-08T15:34:26,494Z] case R(R(C v0, C v1, C v2), R(I v3, R(I v4, C v5, R(I v6, I v7, I v8)), I v9), I v10) -> System.err.println();
[2025-12-08T15:34:26,494Z] case R(R(C v0, R(C v1, I v2, I v3), I v4), C v5, R(I v6, C v7, C v8)) -> System.err.println();
[2025-12-08T15:34:26,494Z] case R(R(C v0, R(C v1, I v2, I v3), I v4), C v5, R(I v6, C v7, R(I v8, I v9, I v10))) -> System.err.println();
[2025-12-08T15:34:26,494Z] case R(C v0, R(C v1, R(C v2, C v3, C v4), R(I v5, I v6, I v7)), I v8) -> System.err.println();
[2025-12-08T15:34:26,495Z] case R(R(C v0, R(C v1, I v2, I v3), I v4), R(I v5, C v6, R(I v7, C v8, I v9)), I v10) -> System.err.println();
[2025-12-08T15:34:26,495Z] case R(R(C v0, C v1, R(C v2, I v3, R v4)), C v5, C v6) -> System.err.println();
[2025-12-08T15:34:26,495Z] case R(C v0, R(R(R(R(I v1, I v2, I v3), I v4, I v5), I v6, I v7), R(I v8, C v9, C v10), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,495Z] case R(R(R(R(R(I v0, I v1, I v2), I v3, I v4), I v5, I v6), I v7, I v8), R(I v9, R(I v10, C v11, C v12), I v13), I v14) -> System.err.println();
[2025-12-08T15:34:26,495Z] case R(R(C v0, C v1, C v2), C v3, R(I v4, R(I v5, C v6, I v7), I v8)) -> System.err.println();
[2025-12-08T15:34:26,495Z] case R(R(R(C v0, R(I v1, I v2, I v3), I v4), I v5, I v6), R(I v7, C v8, C v9), C v10) -> System.err.println();
[2025-12-08T15:34:26,495Z] case R(C v0, R(C v1, C v2, R(R(C v3, I v4, I v5), R(R v6, I v7, C v8), I v9)), I v10) -> System.err.println();
[2025-12-08T15:34:26,495Z] case R(C v0, R(R(R(C v1, I v2, I v3), I v4, I v5), R(I v6, C v7, C v8), I v9), I v10) -> System.err.println();
[2025-12-08T15:34:26,495Z] case R(C v0, R(C v1, C v2, R(R(C v3, I v4, I v5), R(R v6, I v7, R v8), I v9)), I v10) -> System.err.println();
[2025-12-08T15:34:26,495Z] case R(R(R(C v0, R(I v1, I v2, I v3), I v4), I v5, I v6), C v7, C v8) -> System.err.println();
[2025-12-08T15:34:26,495Z] case R(C v0, R(C v1, R(R(R(I v2, I v3, I v4), I v5, I v6), R(I v7, C v8, I v9), I v10), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,495Z] case R(C v0, R(C v1, C v2, C v3), R(R(R(I v4, I v5, I v6), I v7, I v8), I v9, I v10)) -> System.err.println();
[2025-12-08T15:34:26,495Z] case R(R(R(C v0, R(I v1, I v2, I v3), I v4), I v5, I v6), R(I v7, R(I v8, C v9, R(I v10, I v11, I v12)), I v13), I v14) -> System.err.println();
[2025-12-08T15:34:26,495Z] case R(C v0, R(R(R(C v1, I v2, I v3), I v4, I v5), C v6, C v7), C v8) -> System.err.println();
[2025-12-08T15:34:26,495Z] case R(C v0, R(C v1, C v2, R(R(R(I v3, I v4, I v5), I v6, I v7), R(I v8, I v9, I v10), I v11)), I v12) -> System.err.println();
[2025-12-08T15:34:26,495Z] case R(C v0, R(R(C v1, C v2, I v3), R(I v4, C v5, C v6), I v7), I v8) -> System.err.println();
[2025-12-08T15:34:26,495Z] case R(R(R(C v0, C v1, I v2), I v3, I v4), C v5, R(I v6, C v7, C v8)) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(C v0, R(C v1, R(C v2, C v3, R(R(I v4, I v5, I v6), I v7, I v8)), I v9), I v10) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(C v0, R(C v1, C v2, C v3), R(C v4, R(I v5, I v6, I v7), I v8)) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(R(R(C v0, R(I v1, I v2, I v3), I v4), I v5, I v6), R(I v7, C v8, R(I v9, R(I v10, I v11, I v12), I v13)), I v14) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(R(R(R(R(R v0, I v1, R v2), I v3, I v4), I v5, I v6), I v7, I v8), R(I v9, C v10, R(I v11, C v12, I v13)), I v14) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(R(R(R(R(C v0, I v1, C v2), I v3, I v4), I v5, I v6), I v7, I v8), R(I v9, C v10, C v11), C v12) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(C v0, C v1, R(R(R(R(I v2, I v3, I v4), I v5, I v6), I v7, I v8), R(I v9, C v10, I v11), I v12)) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(R(R(C v0, R(I v1, I v2, I v3), I v4), I v5, I v6), R(I v7, R(I v8, R(I v9, C v10, I v11), I v12), I v13), I v14) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(R(R(R(C v0, I v1, I v2), I v3, I v4), I v5, I v6), R(I v7, C v8, R(I v9, C v10, I v11)), I v12) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(R(R(R(C v0, I v1, I v2), I v3, I v4), I v5, I v6), C v7, R(I v8, C v9, R(I v10, I v11, I v12))) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(C v0, R(R(R(R(I v1, I v2, I v3), I v4, I v5), I v6, I v7), C v8, C v9), C v10) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(R(R(R(R(I v0, I v1, I v2), I v3, I v4), I v5, I v6), I v7, I v8), R(I v9, R(I v10, C v11, R(I v12, I v13, I v14)), I v15), I v16) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(R(C v0, C v1, R(I v2, I v3, I v4)), C v5, R(I v6, C v7, R(I v8, I v9, I v10))) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(C v0, R(C v1, C v2, R(R(C v3, I v4, I v5), C v6, I v7)), I v8) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(R(R(C v0, C v1, I v2), I v3, I v4), C v5, R(I v6, R(I v7, C v8, I v9), I v10)) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(R(C v0, C v1, R(I v2, I v3, I v4)), R(I v5, R(I v6, R(I v7, R(I v8, I v9, I v10), I v11), I v12), I v13), I v14) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(C v0, R(C v1, R(C v2, R(R(I v3, I v4, I v5), R(I v6, I v7, I v8), I v9), I v10), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(C v0, R(R(R(R(I v1, I v2, I v3), I v4, I v5), I v6, I v7), C v8, R(I v9, R(I v10, I v11, I v12), I v13)), I v14) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(R(R(R(R(I v0, I v1, I v2), I v3, I v4), I v5, I v6), I v7, I v8), R(I v9, R(I v10, R(I v11, R(I v12, I v13, I v14), I v15), I v16), I v17), I v18) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(R(R(R(R(R v0, I v1, C v2), I v3, I v4), I v5, I v6), I v7, I v8), R(I v9, C v10, C v11), C v12) -> System.err.println();
[2025-12-08T15:34:26,496Z] case R(R(C v0, C v1, R(I v2, I v3, I v4)), R(I v5, R(I v6, C v7, R(I v8, I v9, I v10)), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,497Z] case R(R(C v0, R(R(I v1, I v2, I v3), I v4, I v5), I v6), C v7, R(I v8, R(I v9, R(I v10, I v11, I v12), I v13), I v14)) -> System.err.println();
[2025-12-08T15:34:26,497Z] case R(R(C v0, C v1, C v2), C v3, C v4) -> System.err.println();
[2025-12-08T15:34:26,497Z] case R(C v0, C v1, R(R(R(C v2, I v3, I v4), I v5, I v6), C v7, R(I v8, I v9, I v10))) -> System.err.println();
[2025-12-08T15:34:26,497Z] case R(C v0, R(R(C v1, C v2, I v3), C v4, R(I v5, C v6, I v7)), I v8) -> System.err.println();
[2025-12-08T15:34:26,497Z] case R(C v0, C v1, R(C v2, R(C v3, C v4, R(I v5, I v6, I v7)), I v8)) -> System.err.println();
[2025-12-08T15:34:26,497Z] case R(R(C v0, R(C v1, I v2, I v3), I v4), R(I v5, R(I v6, R(I v7, C v8, I v9), I v10), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,497Z] case R(C v0, R(R(R(R(I v1, I v2, I v3), I v4, I v5), I v6, I v7), C v8, R(I v9, C v10, I v11)), I v12) -> System.err.println();
[2025-12-08T15:34:26,497Z] case R(C v0, C v1, C v2) -> System.err.println();
[2025-12-08T15:34:26,497Z] case R(R(C v0, C v1, C v2), R(I v3, C v4, R(I v5, R(I v6, I v7, I v8), I v9)), I v10) -> System.err.println();
[2025-12-08T15:34:26,498Z] case R(C v0, R(C v1, C v2, C v3), C v4) -> System.err.println();
[2025-12-08T15:34:26,498Z] case R(C v0, R(C v1, R(C v2, C v3, C v4), C v5), I v6) -> System.err.println();
[2025-12-08T15:34:26,498Z] case R(R(R(R(C v0, I v1, I v2), I v3, I v4), I v5, I v6), R(I v7, R(I v8, C v9, R(I v10, I v11, I v12)), I v13), I v14) -> System.err.println();
[2025-12-08T15:34:26,498Z] case C v0 -> System.err.println();
[2025-12-08T15:34:26,498Z] case R(R(C v0, C v1, C v2), R(I v3, R(I v4, R(I v5, C v6, I v7), I v8), I v9), I v10) -> System.err.println();
[2025-12-08T15:34:26,498Z] case R(C v0, C v1, R(C v2, R(R(C v3, I v4, I v5), C v6, I v7), I v8)) -> System.err.println();
[2025-12-08T15:34:26,498Z] case R(R(C v0, C v1, R(I v2, I v3, I v4)), R(I v5, C v6, C v7), C v8) -> System.err.println();
[2025-12-08T15:34:26,498Z] case R(R(R(R(C v0, I v1, I v2), I v3, I v4), I v5, I v6), R(I v7, C v8, C v9), C v10) -> System.err.println();
[2025-12-08T15:34:26,498Z] case R(C v0, R(R(C v1, R(I v2, I v3, I v4), I v5), C v6, R(I v7, C v8, I v9)), I v10) -> System.err.println();
[2025-12-08T15:34:26,498Z] case R(C v0, R(C v1, R(R(C v2, I v3, I v4), R(I v5, R(I v6, I v7, I v8), I v9), I v10), I v11), I v12) -> System.err.println();
[2025-12-08T15:34:26,498Z] case R(C v0, R(C v1, R(C v2, R(C v3, R(I v4, I v5, I v6), I v7), I v8), I v9), I v10) -> System.err.println();
[2025-12-08T15:34:26,498Z] case R(R(C v0, R(R(I v1, I v2, I v3), I v4, I v5), I v6), R(I v7, R(I v8, C v9, R(I v10, I v11, I v12)), I v13), I v14) -> System.err.println();
[2025-12-08T15:34:26,498Z] case R(C v0, R(C v1, R(R(C v2, I v3, I v4), R(I v5, C v6, I v7), I v8), I v9), I v10) -> System.err.println();
[2025-12-08T15:34:26,499Z] case R(R(R(R(R(R v0, I v1, C v2), I v3, I v4), I v5, I v6), I v7, I v8), R(I v9, C v10, R(I v11, C v12, I v13)), I v14) -> System.err.println();
[2025-12-08T15:34:26,499Z] case R(R(R(R(R(I v0, I v1, I v2), I v3, I v4), I v5, I v6), I v7, I v8), C v9, C v10) -> System.err.println();
[2025-12-08T15:34:26,499Z] case R(R(C v0, R(C v1, I v2, I v3), I v4), R(I v5, C v6, C v7), R(I v8, I v9, I v10)) -> System.err.println();
[2025-12-08T15:34:26,499Z] case R(C v0, R(R(R(R(I v1, I v2, I v3), I v4, I v5), I v6, I v7), R(I v8, R(I v9, R(I v10, I v11, I v12), I v13), I v14), I v15), I v16) -> System.err.println();
[2025-12-08T15:34:26,499Z] case R(R(R(R(R(C v0, I v1, R v2), I v3, I v4), I v5, I v6), I v7, I v8), R(I v9, C v10, C v11), C v12) -> System.err.println();
[2025-12-08T15:34:26,499Z] case R(R(C v0, R(R(I v1, I v2, I v3), I v4, I v5), I v6), C v7, R(I v8, C v9, C v10)) -> System.err.println();
[2025-12-08T15:34:26,499Z] case R(C v0, R(R(C v1, C v2, I v3), R(I v4, R(I v5, C v6, I v7), I v8), I v9), I v10) -> System.err.println();
[2025-12-08T15:34:26,499Z] case R(C v0, C v1, R(R(C v2, C v3, I v4), R(I v5, R(I v6, I v7, I v8), I v9), I v10)) -> System.err.println();
[2025-12-08T15:34:26,499Z] case R(R(R(R(R(C v0, I v1, R v2), I v3, I v4), I v5, I v6), I v7, I v8), R(I v9, C v10, R(I v11, C v12, I v13)), I v14) -> System.err.println();
[2025-12-08T15:34:26,500Z] case R(C v0, R(C v1, R(R(C v2, I v3, I v4), C v5, C v6), I v7), I v8) -> System.err.println();
[2025-12-08T15:34:26,500Z] case R(C v0, R(R(R(R(I v1, I v2, I v3), I v4, I v5), I v6, I v7), C v8, C v9), R(I v10, I v11, I v12)) -> System.err.println();
[2025-12-08T15:34:26,500Z] case R(C v0, C v1, R(R(C v2, R(I v3, I v4, I v5), I v6), C v7, C v8)) -> System.err.println();
[2025-12-08T15:34:26,500Z] case R(R(R(C v0, R(I v1, I v2, I v3), I v4), I v5, I v6), R(I v7, C v8, R(I v9, C v10, I v11)), I v12) -> System.err.println();
[2025-12-08T15:34:26,500Z] case R(C v0, C v1, R(C v2, R(C v3, C v4, C v5), I v6)) -> System.err.println();
[2025-12-08T15:34:26,500Z] case R(R(R(C v0, R(I v1, I v2, I v3), I v4), I v5, I v6), C v7, R(I v8, C v9, R(I v10, I v11, I v12))) -> System.err.println();
[2025-12-08T15:34:26,500Z] case R(R(C v0, C v1, R(I v2, I v3, I v4)), R(I v5, C v6, R(I v7, C v8, I v9)), I v10) -> System.err.println();
[2025-12-08T15:34:26,500Z]
[2025-12-08T15:34:26,500Z] }
[2025-12-08T15:34:26,500Z] }
[2025-12-08T15:34:26,500Z] }
[2025-12-08T15:34:26,500Z]
[2025-12-08T15:34:26,500Z]
[2025-12-08T15:34:26,500Z] test: testComplexSubTypes6
[2025-12-08T15:34:26,500Z] [DIRECT]:
[2025-12-08T15:34:26,500Z] Test.java:12:16: compiler.err.not.exhaustive
[2025-12-08T15:34:26,500Z] 1 error
[2025-12-08T15:34:26,501Z]
[2025-12-08T15:34:26,501Z] test: testComplexSubTypes5
[2025-12-08T15:34:26,501Z]
[2025-12-08T15:34:26,501Z] test: testComplexSubTypes1
[2025-12-08T15:34:26,501Z]
[2025-12-08T15:34:26,501Z] test: testComplexSubTypes4
[2025-12-08T15:34:26,501Z] [DIRECT]:
[2025-12-08T15:34:26,501Z] Test.java:11:9: compiler.err.not.exhaustive.statement
[2025-12-08T15:34:26,501Z] 1 error
[2025-12-08T15:34:26,501Z]
[2025-12-08T15:34:26,501Z] test: testComplexSubTypes3
[2025-12-08T15:34:26,501Z] [DIRECT]:
[2025-12-08T15:34:26,501Z] Test.java:11:18: compiler.err.pattern.dominated
[2025-12-08T15:34:26,501Z] 1 error
[2025-12-08T15:34:26,501Z]
[2025-12-08T15:34:26,501Z] test: testDiamondInheritance5
[2025-12-08T15:34:26,501Z]
[2025-12-08T15:34:26,501Z] test: testFlowForNestedSwitch
[2025-12-08T15:34:26,501Z]
[2025-12-08T15:34:26,502Z] test: testTooGenericPatternInRecord
[2025-12-08T15:34:26,502Z]
[2025-12-08T15:34:26,502Z] test: testAmbiguousRecordUsage
[2025-12-08T15:34:26,502Z]
[2025-12-08T15:34:26,502Z] test: testDiamondInheritance6
[2025-12-08T15:34:26,502Z]
[2025-12-08T15:34:26,502Z] test: testNestedIntersectionType
[2025-12-08T15:34:26,502Z]
[2025-12-08T15:34:26,502Z] test: testExpandForTypeVariables
[2025-12-08T15:34:26,502Z]
[2025-12-08T15:34:26,502Z] 55 tests
[2025-12-08T15:34:26,502Z]
[2025-12-08T15:34:26,502Z] JavaTest Message: Test complete.
[2025-12-08T15:34:26,502Z]
[2025-12-08T15:34:26,502Z]
[2025-12-08T15:34:26,502Z] TEST RESULT: Error. "main" action timed out with a timeout of 480 seconds on agent 7; but completed after timeout - suppressed status: "Passed. Execution successful"
[2025-12-08T15:34:26,502Z] --------------------------------------------------
[2025-12-08T15:53:59,301Z] Test results: passed: 4,678; error: 1; skipped: 1; excluded: 5; did not match keywords: 2; did not meet platform requirements: 2