Better closure requirement propagation V2 - #154271

Closed

LorrensP-2158466 wants to merge 5 commits into

rust-lang:mainfrom

LorrensP-2158466:fix-typetest-closure-prop

Commits on Apr 23, 2026

Implement fix in `try_promote_type_test_subject` + add a test.
LorrensP-2158466
committed
d1fc1a0
filter redundant requirements through unit propagation
LorrensP-2158466
committed
d27d602

Commits on Apr 24, 2026

bless test
LorrensP-2158466
committed
b06d936

Commits on Apr 30, 2026

address review, without the stronger redundancy check
LorrensP-2158466
committed
28df9b0
stronger redundancy check
LorrensP-2158466
committed
99a4359