Infer implied outlives from fn signature - #412

Open

kirloo wants to merge 12 commits into

rust-lang:mainfrom

kirloo:fn_implied_bounds-clean

Commits on Aug 7, 2026

implied bounds judgment function
kirloo
committed
8460d9d
normalized ty implied bounds test for future
kirloo
committed
fedc34c
fmt
kirloo
committed
121019f
Remove unnecessary clone

kirloo
and
nikomatsakis
committed
0e8e361
Use constructor method WhereClause::outlives

kirloo
and
nikomatsakis
committed
742c3b1
missing parenthesis
kirloo
committed
ea9cf15
cleaner syntax
kirloo
committed
0df5fdd
declare implied bounds module
kirloo
committed
4e957eb
test updates
kirloo
committed
4fca905
update tests
kirloo
committed
72ce2b9
update tests
kirloo
committed
124e52f
update test
kirloo
committed
1f3eee5