By reading the proposal [1], I see it's meant for record types. Records seem to be value classes, i.e. the equivalent to Scala's case classes. In that case, th

By reading the proposal [1], I see it's meant for record types. Records seem to be value classes, i.e. the equivalent to Scala's case classes. In that case, there's absolutely no ambiguity: there's only one `x` you can be talking about. By the way, value/case classes are such a boon. Very easy to get used to, and once you have, you want to use them everywhere, I guarantee. ---- [1] https://openjdk.org/jeps/440 https://openjdk.org/jeps/440