Fix narrowing in comprehensions when the intersection is impossible #22623
| Job | Run time |
|---|---|
| 12m 18s | |
| 15m 34s | |
| 30m 26s | |
| 6m 4s | |
| 10m 13s | |
| 31m 40s | |
| 1m 9s | |
| 28m 6s | |
| 18m 17s | |
| 2m 6s | |
| 15m 43s | |
| 11m 43s | |
| 16m 9s | |
| 2m 0s | |
| 9m 45s | |
| 5m 55s | |
| 16m 57s | |
| 3h 54m 5s |
| Job | Run time |
|---|---|
| 12m 18s | |
| 15m 34s | |
| 30m 26s | |
| 6m 4s | |
| 10m 13s | |
| 31m 40s | |
| 1m 9s | |
| 28m 6s | |
| 18m 17s | |
| 2m 6s | |
| 15m 43s | |
| 11m 43s | |
| 16m 9s | |
| 2m 0s | |
| 9m 45s | |
| 5m 55s | |
| 16m 57s | |
| 3h 54m 5s |