{"ast_node_type":"import","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//"}]}
                // `None` because we don't know which trait to expect here; any vtable is okay.
                let ptr = self.read_pointer(&args[0])?;
                let (size, _align) = self.get_vtable_size_and_align(ptr, None)?;