https://cr.openjdk.java.net/~briangoetz/valhalla/sov/04-translation.html seems to call for support of

new V.ref ()

("Instantiation of C$ref is translated as instantiation of a C$val followed by a cast to C$ref")

Presently javac rejects this with the error that abstract classes cannot be instantiated.

Should we support this at all? Even in the VBC migration case, constructors are not exposed so there should be no compatibility concerns.