trait_solver: Add minimal coroutine binder assumptions - #162159

Open

Dnreikronos wants to merge 6 commits into

rust-lang:mainfrom

Dnreikronos:trait_solver/min_coroutine_assumptions

Commits on Sep 5, 2026

Add minimal coroutine binder assumption mode
Dnreikronos
committed
c606c55
Implement minimal coroutine binder assumptions
Dnreikronos
committed
30060f6
Add minimal coroutine binder regressions
Dnreikronos
committed
9ba3c79
Name the assumptions-on-binders accessors by mode
Dnreikronos
committed
91b9d12
Install empty placeholder assumptions only in the full mode
Dnreikronos
committed
e038e65
Cover type outlives handling in the minimal coroutine mode
Dnreikronos
committed
bed5ff5