Skip to content

Rename OutlivesPredicate to OutlivesClause - #160343

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
ada4a:push-oyyponlxmyxy
Aug 5, 2026
Merged

Rename OutlivesPredicate to OutlivesClause#160343
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
ada4a:push-oyyponlxmyxy