Actually report normalization-based type errors correctly for alias-relate obligations in new solver #128732
Run time
Learn about OS # on GitHub Actions| Job | Run time |
|---|---|
| 10s | |
| 25m 31s | |
| 4m 14s | |
| 52m 37s | |
| 36m 35s | |
| 0s | |
| 1h 59m 7s |
| Job | Run time |
|---|---|
| 10s | |
| 25m 31s | |
| 4m 14s | |
| 52m 37s | |
| 36m 35s | |
| 0s | |
| 1h 59m 7s |