WIP: Fix yet another breakage

Author: Xanewok

rust-toolchain

@@ -1 +1 @@
-nightly-2020-07-15
+nightly-2020-07-23

src/translate.rs

@@ -452,9 +452,13 @@ impl<'a, 'tcx> TranslationContext<'a, 'tcx> {
             }
             PredicateKind::ConstEvaluatable(orig_did, orig_substs) => {
                 if let Some((target_def_id, target_substs)) =
-                    self.translate_orig_substs(index_map, *orig_did, orig_substs)
+                    self.translate_orig_substs(index_map, orig_did.did, orig_substs)
                 {
-                    PredicateKind::ConstEvaluatable(target_def_id, target_substs)
+                    use rustc_middle::ty::WithOptConstParam;
+                    // TODO: We could probably use translated version for
+                    // `WithOptConstParam::const_param_did`
+                    let const_param = WithOptConstParam::unknown(target_def_id);
+                    PredicateKind::ConstEvaluatable(const_param, target_substs)
                         .to_predicate(self.tcx)
                 } else {
                     return None;