{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":")"}]}
    ) -> InterpResult<'tcx, &[u8]> {
        size: Size,
        let Some(alloc_ref) = self.get_ptr_alloc(ptr, size)? else {