Disable distribution of intersection types over applied types #813
| Job | Run time |
|---|---|
| 1m 6s | |
| 59s | |
| 1m 6s | |
| 3m 25s | |
| 1m 14s | |
| 3m 54s | |
| 6m 8s | |
| 3m 27s | |
| 3m 36s | |
| 3m 23s | |
| 5m 34s | |
| 3m 48s | |
| 5m 17s | |
| 3m 10s | |
| 5m 7s | |
| 5m 7s | |
| 5m 39s | |
| 5m 16s | |
| 5m 0s | |
| 1h 12m 16s |
| Job | Run time |
|---|---|
| 1m 6s | |
| 59s | |
| 1m 6s | |
| 3m 25s | |
| 1m 14s | |
| 3m 54s | |
| 6m 8s | |
| 3m 27s | |
| 3m 36s | |
| 3m 23s | |
| 5m 34s | |
| 3m 48s | |
| 5m 17s | |
| 3m 10s | |
| 5m 7s | |
| 5m 7s | |
| 5m 39s | |
| 5m 16s | |
| 5m 0s | |
| 1h 12m 16s |