Function valtree_to_const_value 

pub fn valtree_to_const_value<'tcx>(
    tcx: TyCtxt<'tcx>,
    typing_env: TypingEnv<'tcx>,
    cv: Value<'tcx>,
) -> ConstValue

Converts a ValTree to a ConstValue, which is needed after mir construction has finished.