Skip to content

solver cycles are coinductive once they have one coinductive step#136824

Merged
bors merged 8 commits into
rust-lang:masterfrom
lcnr:yeet
Feb 28, 2025
Merged

solver cycles are coinductive once they have one coinductive step#136824
bors merged 8 commits into
rust-lang:masterfrom
lcnr:yeet

add test using only trait bounds

6a3b30f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs