pub fn valtree_to_const_val<'tcx>(
    tcx: TyCtxt<'tcx>,
    key: valtree_to_const_val<'tcx>
) -> String