Better error message for polytypes wrapping capturing types #32942
Job | Run time |
---|---|
58m 58s | |
0s | |
48m 43s | |
1h 1m 18s | |
1h 6m 34s | |
1h 18m 49s | |
10m 36s | |
0s | |
17m 49s | |
0s | |
0s | |
0s | |
7m 46s | |
0s | |
21s | |
0s | |
0s | |
0s | |
0s | |
0s | |
5h 50m 54s |
Job | Run time |
---|---|
58m 58s | |
0s | |
48m 43s | |
1h 1m 18s | |
1h 6m 34s | |
1h 18m 49s | |
10m 36s | |
0s | |
17m 49s | |
0s | |
0s | |
0s | |
7m 46s | |
0s | |
21s | |
0s | |
0s | |
0s | |
0s | |
0s | |
5h 50m 54s |