Move methods from `Map` to `TyCtxt`, part 2.#137162

Merged

bors merged 1 commit intorust-lang:masterfrom

nnethercote:remove-Map-2

Feb 18, 2025

Commits on Feb 17, 2025

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