> If you’re applying arbitrary invariants that aren’t codified in the type system, you may as well just use raw pointers. You have to correct raw pointers on m

> If you’re applying arbitrary invariants that aren’t codified in the type system, you may as well just use raw pointers. You have to correct raw pointers on move and copy. Offsets remain correct on move and copy.