/tests/untried/pos/existential-java-case-class/