INNER CODE UNIT · Rust

slice_truncates_through_buffer_data

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

	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]);
	}

	#[test]
	fn buffer_pool_backs_a_pool_vec() {
		let pool = BufferPool::new();
		let buffer = build(&&pool);
		assert_eq!(&*buffer, &[1, 2, 3, 0, 0]);

View source record →