Opting out of lifetime invariance in opaque types

Prior discussion: there was some bikeshedding on variance bound syntax in this other thread.

1 Like