Do not crash when typing a closure with unknown type, since it can occur for erroneous input #31726
Job | Run time |
---|---|
0s | |
29m 26s | |
33m 0s | |
38m 5s | |
1h 19m 15s | |
11m 18s | |
0s | |
1h 0m 3s | |
0s | |
0s | |
18m 44s | |
0s | |
0s | |
0s | |
0s | |
4h 29m 51s |
Job | Run time |
---|---|
0s | |
29m 26s | |
33m 0s | |
38m 5s | |
1h 19m 15s | |
11m 18s | |
0s | |
1h 0m 3s | |
0s | |
0s | |
18m 44s | |
0s | |
0s | |
0s | |
0s | |
4h 29m 51s |