Skip to content

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

Merged
bors merged 1 commit into
rust-lang:masterfrom
nnethercote:remove-Map-5
Apr 2, 2025
Merged

Move methods from Map to TyCtxt, part 5.#139232
bors merged 1 commit into
rust-lang:masterfrom
nnethercote:remove-Map-5

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

6713f34
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs