{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"interp_ok((size,"}]}
            interp_ok((size, align, ()))
            let (size, align) = this.get_live_alloc_size_and_align(alloc_id, msg)?;
        })?;