WIP: Fix breakage due to rust-lang/rust#76244

See rust-lang/rust#76244

Author: Xanewok

rust-toolchain

@@ -1 +1 @@
-nightly-2020-09-10
+nightly-2020-09-15

src/translate.rs

@@ -458,6 +458,8 @@ impl<'a, 'tcx> TranslationContext<'a, 'tcx> {
                 self.translate(index_map, &c2),
             )
             .to_predicate(self.tcx),
+            // NOTE: Only used for Chalk trait solver
+            PredicateAtom::TypeWellFormedFromEnv(_) => return None,
         })
     }
 
@@ -492,7 +494,6 @@ impl<'a, 'tcx> TranslationContext<'a, 'tcx> {
                 ParamEnv::new(
                     self.tcx.intern_predicates(&target_preds),
                     param_env.reveal(),
-                    param_env.def_id,
                 )
             })
     }