Stream: general

Topic: Override variance


Diggory Blake (May 22 2020 at 00:07, on Zulip):

I'm trying to change a type to use an UnsafeCell internally, however this makes the type parameter invariant instead of covariant. However, the safe interface to the type enforces that it can be used covariantly, despite the UnsafeCell. How can I force the type to be covariant again?

RalfJ (May 22 2020 at 20:01, on Zulip):

I dont think this is currently possible

Last update: May 29 2020 at 16:00UTC