{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"this.check_ptr_align(ptr,"}]}
            this.check_ptr_align(ptr, layout.align.abi)?;
            let ptr = this.read_pointer(op)?;
            let Some(alloc_ref) = self.get_ptr_alloc(ptr, layout.size)? else {