{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"self.write_scalar(Scalar::from_target_usize(size.bytes(),"}]}
                self.write_scalar(Scalar::from_target_usize(size.bytes(), self), dest)?;
                let (size, _align) = self.get_vtable_size_and_align(ptr, None)?;
            }