Assertion list
vector (primary) → UsedFor
Results from Ascent++: 1
vector → UsedFor → indexing 0.28