Clarifications on SoV documents

Brian Goetz brian.goetz at
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...
URL: <>

More information about the amber-spec-experts mailing list