@@ -289,6 +289,7 @@
type *ret = &v->ptr[v->size]; \
v->size++; \
ARRAYI_CONTRACT(v); \
M_ASSUME(ret != NULL); \
return ret; \
} \
\
The note is not visible to the blocked user.