Skip to content

nop_lift macros: ensure that we are using the right interner#115907

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:interner-check
Sep 18, 2023

Commits

Commits on Sep 17, 2023