pub(crate) fn mir_const_from_ty_const<'tcx>( tables: &mut Tables<'tcx>, ty_const: Const<'tcx>, ty: Ty<'tcx>, ) -> MirConst