Remove HR subtyping and replace them with coercions - #160461

Draft

spastorino wants to merge 16 commits into

rust-lang:mainfrom

spastorino:hr-subtyping-coercions

Commits on Aug 3, 2026

Use Placeholder::with_updated_universe
spastorino
committed
b56ef2c
Relate HR binders by equality, not subtyping
spastorino
committed
a373a4d
Coerce HR to non-HR function pointers via Adjust::Subtype
spastorino
committed
041b05f
Coerce HR function items to non-HR fn pointers
spastorino
committed
3e7189b
Check HR fn item reifications in borrowck
spastorino
committed
7ba9322
Extract unify_hr_fn_ptr
spastorino
committed
46964cd
Coerce safe HR function pointers to unsafe ones
spastorino
committed
37c8981
Coerce HR closures to non-HR fn pointers
spastorino
committed
ebfa149
Coerce HR function pointers to less-HR ones
spastorino
committed
8bb7d5b
Coerce HR function pointers to unsafe less-HR ones
spastorino
committed
68494f4

Commits on Aug 4, 2026

Commits on Aug 5, 2026

Assume region to region implied bounds in reified function pointer WF
spastorino
committed
ff4caf7