Rollup of 11 pull requests#135519
Merged
bors merged 26 commits intorust-lang:masterfrom Jan 15, 2025
Commits
Commits on Jan 8, 2025
Commits on Jan 11, 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- committed
- committed
Commits on Jan 15, 2025
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored