Rollup of 8 pull requests#127261
Merged
bors merged 17 commits intorust-lang:masterfrom Jul 3, 2024
Commits
Commits on Jun 19, 2024
Commits on Jun 29, 2024
Commits on Jul 1, 2024
Commits on Jul 2, 2024
- committed
- committed
- committed
- committed
Actually report normalization-based type errors correctly for alias-relate obligations in new solver
committed
Commits on Jul 3, 2024
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored