Change Borrowed Array input permissions check#1625

Merged

mergify[bot] merged 3 commits intomasterfrom heapster/array-borrow-check

Apr 15, 2022

+19-12

Commits on Apr 5, 2022

Check an array is totally borrowed by walking the borrowed cell ranges.
abakst
committed

Commits on Apr 14, 2022

Merge branch 'master' into heapster/array-borrow-check
Eddy Westbrook
authored

Commits on Apr 15, 2022

Merge branch 'master' into heapster/array-borrow-check
Eddy Westbrook
authored