Make X[()] count as a type application
#10405
| Job | Run time |
|---|---|
| 18m 48s | |
| 14m 50s | |
| 14m 19s | |
| 16m 22s | |
| 14m 23s | |
| 13m 57s | |
| 6s | |
| 1h 32m 45s |
X[()] count as a type application
#10405
| Job | Run time |
|---|---|
| 18m 48s | |
| 14m 50s | |
| 14m 19s | |
| 16m 22s | |
| 14m 23s | |
| 13m 57s | |
| 6s | |
| 1h 32m 45s |