Skip to content

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

Merged
bors merged 1 commit intorust-lang:masterfrom
nnethercote:remove-Map-2
Feb 18, 2025
Merged

Move methods from `Map` to `TyCtxt`, part 2.#137162
bors merged 1 commit intorust-lang:masterfrom
nnethercote:remove-Map-2

Commits

Commits on Feb 17, 2025