Skip to content

Make PlaceMention a non-mutating use.#110826

Merged
bors merged 3 commits into
rust-lang:masterfrom
cjgillot:place-mention-use
May 4, 2023
Merged

Make PlaceMention a non-mutating use.#110826
bors merged 3 commits into
rust-lang:masterfrom
cjgillot:place-mention-use

Expand comment on NonMutatingUseContext.

4ec76df
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs