Open krasimirgg opened 4 months ago
No functional changes intended.
These set_len calls were unsound: set_len requires that the elements old_len..new_len were initialized:
set_len
No functional changes intended.
These
set_len
calls were unsound:set_len
requires that the elements old_len..new_len were initialized: