Skip to content

Do not fetch HIR in inferred_outlives_of.#119261

Merged
bors merged 1 commit intorust-lang:masterfrom
cjgillot:outlive-def-kind
Dec 25, 2023
Merged

Do not fetch HIR in inferred_outlives_of.#119261
bors merged 1 commit intorust-lang:masterfrom
cjgillot:outlive-def-kind

Commits

Commits on Dec 23, 2023