Skip to content

Reason about borrowed classes in CopyProp.#142571

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

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

Commits

Commits on Jun 16, 2025