Skip to content

Eagerly decide whether relaxed bounds are allowed or not#157305

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
oli-obk:relaxed-bounds-maybe
Jun 4, 2026
Merged

Eagerly decide whether relaxed bounds are allowed or not#157305
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
oli-obk:relaxed-bounds-maybe

Rename and document a relaxed bound reason

876d5f3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jun 2, 2026 in 40s