Fix substr()
type narrowing for possibly single char result
#15692
Job | Run time |
---|---|
57s | |
11s | |
43s | |
36s | |
38s | |
9s | |
34s | |
25s | |
23s | |
20s | |
4m 56s |
substr()
type narrowing for possibly single char result
#15692
Job | Run time |
---|---|
57s | |
11s | |
43s | |
36s | |
38s | |
9s | |
34s | |
25s | |
23s | |
20s | |
4m 56s |