Skip to content

Reason about borrowed classes in CopyProp.#142571

Merged
bors merged 2 commits into
rust-lang:masterfrom
cjgillot:borrowed-classes
Jun 21, 2025
Merged

Reason about borrowed classes in CopyProp.#142571
bors merged 2 commits into
rust-lang:masterfrom
cjgillot:borrowed-classes

Reason about borrowed classes in CopyProp.

c4b67c6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view