MIR required_consts, mentioned_items: ensure we do not forget to fill these lists#128494

Merged

bors merged 1 commit intorust-lang:masterfrom RalfJung:mir-lazy-lists

Aug 2, 2024

+113-44

Commits on Aug 1, 2024

MIR required_consts, mentioned_items: ensure we do not forget to fill these lists
RalfJung
committed