I would imagine this unsafety is purely contained in accessing `size` on the `TyDesc`