Function mir_to_const 

pub fn mir_to_const<'tcx>(
    tcx: TyCtxt<'tcx>,
    val: ConstValue,
    ty: Ty<'tcx>,
) -> Option<Constant>