bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

remove unused field from infcx

Browse source
This commit is contained in:
lcnr 2022-03-31 16:52:47 +02:00
parent e730969b0d
commit a5c68d747e
4 changed files with 3 additions and 34 deletions
Download patch file Download diff file Expand all files Collapse all files

7
compiler/rustc_typeck/src/check/inherited.rs
View file

@ -95,13 +95,6 @@ impl<'tcx> InheritedBuilder<'tcx> {
let def_id = self.def_id;
self.infcx.enter(|infcx| f(Inherited::new(infcx, def_id)))
}
/// WF-checking doesn't need to recompute opaque types and can instead use
/// the type_of query to get them from typeck.
pub fn reveal_defining_opaque_types(mut self) -> Self {
self.infcx = self.infcx.reveal_defining_opaque_types();
self
}
}
impl<'a, 'tcx> Inherited<'a, 'tcx> {

2
compiler/rustc_typeck/src/check/wfcheck.rs
View file

@ -968,7 +968,7 @@ fn for_item<'tcx>(tcx: TyCtxt<'tcx>, item: &hir::Item<'_>) -> CheckWfFcxBuilder<
fn for_id(tcx: TyCtxt<'_>, def_id: LocalDefId, span: Span) -> CheckWfFcxBuilder<'_> {
CheckWfFcxBuilder {
inherited: Inherited::build(tcx, def_id).reveal_defining_opaque_types(),
inherited: Inherited::build(tcx, def_id),
id: hir::HirId::make_owner(def_id),
span,
param_env: tcx.param_env(def_id),