Rollup of 7 pull requests#135509
Closed
matthiaskrgr wants to merge 21 commits intorust-lang:masterfrom
Commits
Commits on Jan 2, 2025
Commits on Jan 8, 2025
Commits on Jan 13, 2025
Commits on Jan 14, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Make sure to scrape region constraints from deeply normalizing type outlives assumptions in borrowck
committed- authored
- authored
- authored
- authored
- authored
- authored
- authored