Clarifications on SoV documents
brian.goetz at oracle.com
Thu Apr 23 20:26:15 UTC 2020
That's exactly what I meant by "hold questions"! To be fair, you didn't
ask a question, as much as make a statement, but ... what I'm saying is
that my thinking here has evolved. And that I'll write up exactly how
and why soon ... and that you'll wait for that :)
On 4/23/2020 4:23 PM, Remi Forax wrote:
> 3. This story isn't written yet, but where we're aiming (everyone
> but Srikanth, please hold questions on "how would that work" until
> I write this up) is that inline types can be used as type
> parameters for erased generics _without_ having to say
> `Foo<V.ref>`. This represents a shift from where we were before,
> where we didn't allow inlines as type arguments.
> No, we know, you want to use Foo[V] for reified generics (so we can
> make reified generics covariant).
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the amber-spec-experts