/test/files/pos/existential-java-case-class/