Anything have some opinions on this? https://github.com/rust-lang/rust/pull/56382
I'm making a new "box" type
Bx<'tcx, T> and replacing instances of
Lrc with it. It allocates on an arena and supports deserialization
why a box type?
vs allocating directly on the arenas
I feel like our setup is very baroque
for adding types to arenas
but maybe it can be improved instead?
it'd be nice to just use
&'tcx T is a bit tricky though
deserializing anything with lifetimes is a touch tricky really, right now we're leaning on the spec soundness hole as I recall
but I guess you mean beyond that...
presumably because of coherence?
Does the old or the new borrowck run first now?
in compare mode, new (well, sort of, old region inference runs first)
I would indeed expect coherence problems