You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Right now, taking an array snapshot clones the entire array. Getting the array length uses the array_len libfunc, which consumes an array snapshot. This means that, at the moment, to obtain the array's length we need to clone it. Having shared array references should fix this problem.
The text was updated successfully, but these errors were encountered:
Right now, taking an array snapshot clones the entire array. Getting the array length uses the
array_len
libfunc, which consumes an array snapshot. This means that, at the moment, to obtain the array's length we need to clone it. Having shared array references should fix this problem.The text was updated successfully, but these errors were encountered: