Skip to content

Don't require next-solver ProbeRef to be Copy#146182

Merged
bors merged 1 commit intorust-lang:masterfrom
ChayimFriedman2:ns-probe
Sep 4, 2025
Merged

Don't require next-solver `ProbeRef` to be `Copy`#146182
bors merged 1 commit intorust-lang:masterfrom
ChayimFriedman2:ns-probe

Commits

Commits on Sep 3, 2025