fix: fix fast_substitute folding array of symbolics
#2512
| Job | Run time |
|---|---|
| 50m 25s | |
| 58m 26s | |
| 17m 25s | |
| 24m 15s | |
| 15m 23s | |
| 22s | |
| 2h 46m 16s |
fast_substitute folding array of symbolics
#2512
| Job | Run time |
|---|---|
| 50m 25s | |
| 58m 26s | |
| 17m 25s | |
| 24m 15s | |
| 15m 23s | |
| 22s | |
| 2h 46m 16s |