pub fn valtree_to_const_val<'tcx>(
    _tcx: TyCtxt<'tcx>,
    value: valtree_to_const_val<'tcx>
) -> Erase<valtree_to_const_val<'tcx>>