Move methods from `Map` to `TyCtxt`, part 5.#139232

Merged

bors merged 1 commit intorust-lang:masterfrom

nnethercote:remove-Map-5

Apr 2, 2025

Commits on Apr 1, 2025

Move methods from `Map` to `TyCtxt`, part 5.
nnethercote
committed