@nikomatsakis Why do the Chalk interface need to use
Lift? Is this a '
'tcx leftover thing? I was thinking it would be a good idea to make
Lift use the interners instead of
in_arena so we don't need to add efficient arenas with
in_arena. I think
Lift is pretty much only used for
Display impls in the compiler now.Lift in Chalk interface
@Zoxc I'll have to review; those interfaces are indeed somewhat dated and I've been wanting to rip out the chalk integration and redo it in a new way.
I guess it doesn't matter if these get a bit faster or slower?
@Zoxc no that doesn't matter, I hope to remove them soon in any case