Make X[()] count as a type application (#20568)
#20085
| Job | Run time |
|---|---|
| 9m 34s | |
| 14m 40s | |
| 15m 1s | |
| 26m 34s | |
| 28m 31s | |
| 10m 5s | |
| 2m 47s | |
| 2m 13s | |
| 17m 38s | |
| 15m 1s | |
| 5m 40s | |
| 23m 21s | |
| 1m 45s | |
| 9m 22s | |
| 6m 14s | |
| 3h 8m 26s |