Fix incorrect analyzing of array_shift with non-empty-list property #22742
| Job | Run time |
|---|---|
| 3m 14s | |
| 3m 21s | |
| 3m 26s | |
| 1m 41s | |
| 1m 44s | |
| 3m 22s | |
| 2m 10s | |
| 3m 25s | |
| 3m 36s | |
| 6m 17s | |
| 2m 2s | |
| 1m 42s | |
| 11m 9s | |
| 1m 47s | |
| 1m 46s | |
| 2m 59s | |
| 3m 1s | |
| 3m 6s | |
| 3m 1s | |
| 1m 51s | |
| 1h 4m 40s |
| Job | Run time |
|---|---|
| 3m 14s | |
| 3m 21s | |
| 3m 26s | |
| 1m 41s | |
| 1m 44s | |
| 3m 22s | |
| 2m 10s | |
| 3m 25s | |
| 3m 36s | |
| 6m 17s | |
| 2m 2s | |
| 1m 42s | |
| 11m 9s | |
| 1m 47s | |
| 1m 46s | |
| 2m 59s | |
| 3m 1s | |
| 3m 6s | |
| 3m 1s | |
| 1m 51s | |
| 1h 4m 40s |