Skip to content

Fix substr() type narrowing for maybe one-length result #14095

Fix substr() type narrowing for maybe one-length result

Fix substr() type narrowing for maybe one-length result #14095

Job Run time
1m 4s
0s
3s
6s
8s
1m 4s
39s
19s
27s
46s
28s
21s
27s
25s
29s
1m 3s
1m 30s
38s
27s
25s
27s
27s
26s
36s
29s
21s
1m 0s
26s
1m 26s
26s
19s
25s
42s
34s
25s
27s
20s
23s
1m 6s
19s
1m 19s
29s
23s
25s
30s
35s
25s
21s
28s
34s
57s
26s
1m 29s
32s
18s
22s
45s
40s
31s
31s
29s
21s
1m 6s
18s
1m 27s
35s
19s
19s
26s
49s
17s
28s
23s
22s
58s
25s
37s
23s
17s
26s
40s
18s
20s
28s
41s
37s
1m 4s
46s
21s
2m 4s
20s
14s
22s
1m 4s
1m 22s
53s
1m 40s
36s
1m 23s
31s
1m 32s
1m 1s
32s
38s
25s
49s
29s
26s
46s
30s
3m 9s
55s
29s
27s
39s
24s
22s
22s
5m 3s
32s
1m 6s
36s
26s
1m 1s
23s
30s
53s
24s
14s
23s
16s
17s
22s
14s
18s
16s
15s
21s
15s
16s
25s
14s
20s
19s
16s
33s
15s
15s
15s
12s
15s
17s
25s
14s
36s
15s
20s
16s
18s
15s
15s
28s
28s
20s
16s
22s
16s
15s
16s
21s
20s
25s
20s
19s
16s
20s
25s
14s
13s
23s
16s
20s
21s
12s
15s
16s
25s
15s
15s
25s
19s
17s
17s
17s
25s
19s
17s
42s
19s
21s
26s
16s
21s
31s
21s
23s
15s
20s
20s
16s
20s
21s
20s
48s
17s
21s
26s
15s
14s
14s
17s
17s
19s
16s
24s
26s
27s
24s
0s
1h 57m 53s