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).
