Skip to content

abby DSL: sanity checks on forall where clauses - #163257

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
khyperia:abby-check-where-clause
Oct 8, 2026
Merged

abby DSL: sanity checks on forall where clauses#163257
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
khyperia:abby-check-where-clause

abby: ensure forall where clause lhs is alias, placeholder, or lifetime

caa9037
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Oct 8, 2026 in 42s