We can start with [Vec::set_len](https://os-checker.github.io/unsafety-propagation-graph/?item=alloc::vec::Vec::%3CT,+A%3E::set_len) and explor with Vec's constructors and other functions that write the len field. <img width="1118" height="794" alt="Image" src="https://github.com/user-attachments/assets/1d838277-4929-481a-a9c7-33e74b0f7035" /> <img width="1295" height="798" alt="Image" src="https://github.com/user-attachments/assets/639f654a-775a-4a3c-a49a-df89072878f7" /> [alloc::vec::splice::<impl vec::drain::Drain<'_, T, A>>::move_tail](https://os-checker.github.io/unsafety-propagation-graph/?item=alloc::vec::splice::%3Cimpl+vec::drain::Drain%3C%27_,+T,+A%3E%3E::move_tail) <img width="1890" height="679" alt="Image" src="https://github.com/user-attachments/assets/634f40af-d261-4cb6-9fad-52569b1c731e" />
We can start with Vec::set_len and explor with Vec's constructors and other functions that write the len field.
alloc::vec::splice::<impl vec::drain::Drain<'_, T, A>>::move_tail