INNER CODE UNIT · Rust

vec_truncates_through_buffer_data

binius-zk/binius64 · crates/compute/src/lib.rs:296

	fn vec_truncates_through_buffer_data() {
		let mut buffer = vec![1u64, 2, 3, 4];
		BufferData::truncate(&mut buffer, 2);
		assert_eq!(&*buffer, &[1, 2]);
	}

	#[test]
	fn slice_truncates_through_buffer_data() {
		let mut owned = [1u64, 2, 3, 4];
		let mut buffer: &mut [u64] = &mut owned;
		BufferData::truncate(&mut buffer, 3);
		assert_eq!(buffer, &[1, 2, 3]);
	}

	#[test]
	fn global_allocator_backs_a_plain_vec() {
		let buffer = build(&GlobalAllocator);
		assert_eq!(&*buffer, &[1, 2, 3, 0, 0]);

View source record →