Early prototypes (M1-M3) Compiler-only Exploring language side • Specialized generics, wildcards • Informed VM requirements • Many of these problems still require considerable work “MVT” prototype VM-only Exploring the “Q-World” model For more detail, check the JVMLS 2018 video! Current prototype VM and compiler support No support yet for specialized generics or migration Still drilling...
bringing ref-ness and val-ness into the type system x instance of RefObject RefObject m() { ... } void m(RefObject o) { … } class Foo<T extents RefObject> { ... }