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