Skip to content

Commit aa36c35

Browse files
committed
rustdoc: avoid ParamEnv with infer vars
ParamEnv's with inference variabels are invalid.
1 parent e452c94 commit aa36c35

File tree

2 files changed

+2
-3
lines changed

2 files changed

+2
-3
lines changed

src/librustdoc/clean/blanket_impl.rs

+1-2
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,6 @@ pub(crate) struct BlanketImplFinder<'a, 'tcx> {
1414
impl<'a, 'tcx> BlanketImplFinder<'a, 'tcx> {
1515
pub(crate) fn get_blanket_impls(&mut self, item_def_id: DefId) -> Vec<Item> {
1616
let cx = &mut self.cx;
17-
let param_env = cx.tcx.param_env(item_def_id);
1817
let ty = cx.tcx.type_of(item_def_id);
1918

2019
trace!("get_blanket_impls({ty:?})");
@@ -40,7 +39,7 @@ impl<'a, 'tcx> BlanketImplFinder<'a, 'tcx> {
4039
let infcx = cx.tcx.infer_ctxt().build();
4140
let args = infcx.fresh_args_for_item(DUMMY_SP, item_def_id);
4241
let impl_ty = ty.instantiate(infcx.tcx, args);
43-
let param_env = EarlyBinder::bind(param_env).instantiate(infcx.tcx, args);
42+
let param_env = ty::ParamEnv::empty();
4443

4544
let impl_args = infcx.fresh_args_for_item(DUMMY_SP, impl_def_id);
4645
let impl_trait_ref = trait_ref.instantiate(infcx.tcx, impl_args);

src/librustdoc/clean/mod.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ use rustc_middle::middle::resolve_bound_vars as rbv;
2626
use rustc_middle::ty::fold::TypeFolder;
2727
use rustc_middle::ty::GenericArgsRef;
2828
use rustc_middle::ty::TypeVisitableExt;
29-
use rustc_middle::ty::{self, AdtKind, EarlyBinder, Ty, TyCtxt};
29+
use rustc_middle::ty::{self, AdtKind, Ty, TyCtxt};
3030
use rustc_middle::{bug, span_bug};
3131
use rustc_span::hygiene::{AstPass, MacroKind};
3232
use rustc_span::symbol::{kw, sym, Ident, Symbol};

0 commit comments

Comments
 (0)