Function try_destructure_mir_constant_for_user_output 

pub(crate) fn try_destructure_mir_constant_for_user_output<'tcx>(
    tcx: TyCtxt<'tcx>,
    val: ConstValue,
    ty: Ty<'tcx>,
) -> Option<DestructuredConstant<'tcx>>