nop_lift macros: ensure that we are using the right interner#115907
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 18, 2023
Merged
nop_lift macros: ensure that we are using the right interner#115907bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
