Ascent++ | guaranteed to have extra allocated element

Assertion list for term "guaranteed to have extra allocated element".

Results from Ascent++: 1

array → ReceivesAction → guaranteed to have extra allocated element

0.25