{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"alloc::new_allocation(cv.ty,"}]}
                        alloc::new_allocation(cv.ty, const_val, tables, cx),
                        cv.ty.stable(tables, cx),
                    )