Skip to content

Commit 79258d8

Browse files
committed
WIP: Fix breakage 2
1 parent 8f1e5bc commit 79258d8

File tree

3 files changed

+11
-7
lines changed

3 files changed

+11
-7
lines changed

rust-toolchain

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
nightly-2020-07-07
1+
nightly-2020-07-15

src/translate.rs

Lines changed: 9 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -494,11 +494,15 @@ impl<'a, 'tcx> TranslationContext<'a, 'tcx> {
494494
orig_def_id: DefId,
495495
param_env: ParamEnv<'tcx>,
496496
) -> Option<ParamEnv<'tcx>> {
497-
self.translate_predicates(orig_def_id, param_env.caller_bounds)
498-
.map(|target_preds| ParamEnv {
499-
caller_bounds: self.tcx.intern_predicates(&target_preds),
500-
..param_env
501-
})
497+
self.translate_predicates(orig_def_id, param_env.caller_bounds())
498+
.map(|target_preds| ParamEnv::new(
499+
self.tcx.intern_predicates(&target_preds),
500+
param_env.reveal(),
501+
Some(orig_def_id),
502+
))
503+
// caller_bounds: self.tcx.intern_predicates(&target_preds),
504+
// ..param_env
505+
// })
502506
}
503507

504508
/// Translate a `TraitRef` in the context of an item.

src/traverse.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -591,7 +591,7 @@ fn diff_traits<'tcx>(
591591
let mut old_sealed = false;
592592
let old_param_env = tcx.param_env(old);
593593

594-
for bound in old_param_env.caller_bounds {
594+
for bound in old_param_env.caller_bounds() {
595595
if let PredicateKind::Trait(pred, _) = *bound.kind() {
596596
let trait_ref = pred.skip_binder().trait_ref;
597597

0 commit comments

Comments
 (0)