Repository navigation

rename `#[rustc_dump_predicates]` to `#[rustc_dump_clauses]` - #161230

Merged

rust-bors[bot] merged 1 commit into

rust-lang:mainfrom

ada4a:ada/push-rtvwpxlrlrzz

Aug 17, 2026

Merged

rename `#[rustc_dump_predicates]` to `#[rustc_dump_clauses]`#161230
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
ada4a:ada/push-rtvwpxlrlrzz

Commits on Aug 17, 2026
- rename `#[rustc_dump_predicates]` to `#[rustc_dump_clauses]`
  ada4a
  committed
  b190091