Clarifications on SoV documents

[Brian Goetz]

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...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20200423/51312e04/attachment.htm>