Rollup of 7 pull requests#135509
Closed
matthiaskrgr wants to merge 21 commits into
Closed
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