wouldn't byte in rust be more like MaybeUninit<u8>, to account for uninit and pointer fragments?

That means MaybeUninit would not be library-only anymore, but would need some compiler help. But yes you're right.

	▲	jojomodding 2 days ago \| parent [-]
		It already has lots of "magic" semantics and never was just a library type

Yes.