Open cactter opened 1 year ago
unsafe blocks encapsulate the code that needs to be correct to ensure soundness. The value and type of vector are critical here, so reducing the block is (in my opinion) not correct.
unsafe
vector
unsafe
blocks encapsulate the code that needs to be correct to ensure soundness. The value and type ofvector
are critical here, so reducing the block is (in my opinion) not correct.