7 ms·Is it? I am pretty sure that v[x] where x >= n is UB.by dependenttypes 6y agoIs it? I am pretty sure that v[x] where x >= n is UB.