Skip to content

Remove HR subtyping and replace them with coercions - #160461

Draft
spastorino wants to merge 16 commits into
rust-lang:mainfrom
spastorino:hr-subtyping-coercions
Draft

Remove HR subtyping and replace them with coercions#160461
spastorino wants to merge 16 commits into
rust-lang:mainfrom
spastorino:hr-subtyping-coercions

Assume region to region implied bounds in reified function pointer WF

ff4caf7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Aug 5, 2026 in 31s