Skip to content

Use less HIR in check_private_in_public.#144276

Merged
bors merged 1 commit intorust-lang:masterfrom
cjgillot:no-hir-privacy
Jul 24, 2025
Merged

Use less HIR in check_private_in_public.#144276
bors merged 1 commit intorust-lang:masterfrom
cjgillot:no-hir-privacy

Commits

Commits on Jul 22, 2025