Skip to content

Commit a24eb0b

Browse files
authored
Rollup merge of #137350 - nnethercote:remove-Map-3, r=Zalathar
Move methods from Map to TyCtxt, part 3. A follow-up to #137162. r? `@Zalathar`
2 parents 2dc7573 + 806be25 commit a24eb0b

File tree

105 files changed

+259
-289
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

105 files changed

+259
-289
lines changed

compiler/rustc_borrowck/src/diagnostics/conflict_errors.rs

+7-11
Original file line numberDiff line numberDiff line change
@@ -386,7 +386,6 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
386386
}
387387
}
388388
let tcx = self.infcx.tcx;
389-
let hir = self.infcx.tcx.hir();
390389
if let Some(body) = tcx.hir_maybe_body_owned_by(self.mir_def_id()) {
391390
let expr = body.value;
392391
let place = &self.move_data.move_paths[mpi].place;
@@ -402,7 +401,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
402401
if let Some(span) = span
403402
&& let Some(expr) = finder.expr
404403
{
405-
for (_, expr) in hir.parent_iter(expr.hir_id) {
404+
for (_, expr) in tcx.hir_parent_iter(expr.hir_id) {
406405
if let hir::Node::Expr(expr) = expr {
407406
if expr.span.contains(span) {
408407
// If the let binding occurs within the same loop, then that
@@ -969,7 +968,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
969968
let mut parent = None;
970969
// The top-most loop where the moved expression could be moved to a new binding.
971970
let mut outer_most_loop: Option<&hir::Expr<'_>> = None;
972-
for (_, node) in tcx.hir().parent_iter(expr.hir_id) {
971+
for (_, node) in tcx.hir_parent_iter(expr.hir_id) {
973972
let e = match node {
974973
hir::Node::Expr(e) => e,
975974
hir::Node::LetStmt(hir::LetStmt { els: Some(els), .. }) => {
@@ -1021,8 +1020,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
10211020
}
10221021
}
10231022
let loop_count: usize = tcx
1024-
.hir()
1025-
.parent_iter(expr.hir_id)
1023+
.hir_parent_iter(expr.hir_id)
10261024
.map(|(_, node)| match node {
10271025
hir::Node::Expr(hir::Expr { kind: hir::ExprKind::Loop(..), .. }) => 1,
10281026
_ => 0,
@@ -1048,8 +1046,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
10481046
.collect::<Vec<Span>>();
10491047
// All of the spans for the loops above the expression with the move error.
10501048
let loop_spans: Vec<_> = tcx
1051-
.hir()
1052-
.parent_iter(expr.hir_id)
1049+
.hir_parent_iter(expr.hir_id)
10531050
.filter_map(|(_, node)| match node {
10541051
hir::Node::Expr(hir::Expr { span, kind: hir::ExprKind::Loop(..), .. }) => {
10551052
Some(*span)
@@ -1334,7 +1331,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
13341331
}
13351332

13361333
fn in_move_closure(&self, expr: &hir::Expr<'_>) -> bool {
1337-
for (_, node) in self.infcx.tcx.hir().parent_iter(expr.hir_id) {
1334+
for (_, node) in self.infcx.tcx.hir_parent_iter(expr.hir_id) {
13381335
if let hir::Node::Expr(hir::Expr { kind: hir::ExprKind::Closure(closure), .. }) = node
13391336
&& let hir::CaptureBy::Value { .. } = closure.capture_clause
13401337
{
@@ -2118,7 +2115,6 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
21182115
issued_span: Span,
21192116
) {
21202117
let tcx = self.infcx.tcx;
2121-
let hir = tcx.hir();
21222118

21232119
let has_split_at_mut = |ty: Ty<'tcx>| {
21242120
let ty = ty.peel_refs();
@@ -2171,7 +2167,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
21712167
return;
21722168
};
21732169

2174-
let Some(object) = hir.parent_id_iter(index1.hir_id).find_map(|id| {
2170+
let Some(object) = tcx.hir_parent_id_iter(index1.hir_id).find_map(|id| {
21752171
if let hir::Node::Expr(expr) = tcx.hir_node(id)
21762172
&& let hir::ExprKind::Index(obj, ..) = expr.kind
21772173
{
@@ -2189,7 +2185,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
21892185
return;
21902186
};
21912187

2192-
let Some(swap_call) = hir.parent_id_iter(object.hir_id).find_map(|id| {
2188+
let Some(swap_call) = tcx.hir_parent_id_iter(object.hir_id).find_map(|id| {
21932189
if let hir::Node::Expr(call) = tcx.hir_node(id)
21942190
&& let hir::ExprKind::Call(callee, ..) = call.kind
21952191
&& let hir::ExprKind::Path(qpath) = callee.kind

compiler/rustc_borrowck/src/diagnostics/explain_borrow.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -117,7 +117,7 @@ impl<'tcx> BorrowExplanation<'tcx> {
117117
let local_decl = &body.local_decls[dropped_local];
118118

119119
if let &LocalInfo::IfThenRescopeTemp { if_then } = local_decl.local_info()
120-
&& let Some((_, hir::Node::Expr(expr))) = tcx.hir().parent_iter(if_then).next()
120+
&& let Some((_, hir::Node::Expr(expr))) = tcx.hir_parent_iter(if_then).next()
121121
&& let hir::ExprKind::If(cond, conseq, alt) = expr.kind
122122
&& let hir::ExprKind::Let(&hir::LetExpr {
123123
span: _,
@@ -522,7 +522,7 @@ fn suggest_rewrite_if_let<G: EmissionGuarantee>(
522522
);
523523
if expr.span.can_be_used_for_suggestions() && conseq.span.can_be_used_for_suggestions() {
524524
let needs_block = if let Some(hir::Node::Expr(expr)) =
525-
alt.and_then(|alt| tcx.hir().parent_iter(alt.hir_id).next()).map(|(_, node)| node)
525+
alt.and_then(|alt| tcx.hir_parent_iter(alt.hir_id).next()).map(|(_, node)| node)
526526
{
527527
matches!(expr.kind, hir::ExprKind::If(..))
528528
} else {

compiler/rustc_borrowck/src/diagnostics/move_errors.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -388,7 +388,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
388388

389389
// Search for an appropriate place for the structured `.clone()` suggestion to be applied.
390390
// If we encounter a statement before the borrow error, we insert a statement there.
391-
for (_, node) in tcx.hir().parent_iter(closure_expr.hir_id) {
391+
for (_, node) in tcx.hir_parent_iter(closure_expr.hir_id) {
392392
if let Node::Stmt(stmt) = node {
393393
let padding = tcx
394394
.sess

compiler/rustc_borrowck/src/diagnostics/mutability_errors.rs

+3-4
Original file line numberDiff line numberDiff line change
@@ -404,7 +404,7 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
404404
pat.kind
405405
{
406406
if upvar_ident.name == kw::SelfLower {
407-
for (_, node) in self.infcx.tcx.hir().parent_iter(upvar_hir_id) {
407+
for (_, node) in self.infcx.tcx.hir_parent_iter(upvar_hir_id) {
408408
if let Some(fn_decl) = node.fn_decl() {
409409
if !matches!(
410410
fn_decl.implicit_self,
@@ -934,7 +934,6 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
934934
err.span_label(sp, format!("cannot {act}"));
935935

936936
let tcx = self.infcx.tcx;
937-
let hir = tcx.hir();
938937
let closure_id = self.mir_hir_id();
939938
let closure_span = tcx.def_span(self.mir_def_id());
940939
let fn_call_id = tcx.parent_hir_id(closure_id);
@@ -1017,10 +1016,10 @@ impl<'infcx, 'tcx> MirBorrowckCtxt<'_, 'infcx, 'tcx> {
10171016
}
10181017
}
10191018

1020-
if look_at_return && hir.get_fn_id_for_return_block(closure_id).is_some() {
1019+
if look_at_return && tcx.hir_get_fn_id_for_return_block(closure_id).is_some() {
10211020
// ...otherwise we are probably in the tail expression of the function, point at the
10221021
// return type.
1023-
match tcx.hir_node_by_def_id(hir.get_parent_item(fn_call_id).def_id) {
1022+
match tcx.hir_node_by_def_id(tcx.hir_get_parent_item(fn_call_id).def_id) {
10241023
hir::Node::Item(hir::Item {
10251024
ident, kind: hir::ItemKind::Fn { sig, .. }, ..
10261025
})

compiler/rustc_borrowck/src/diagnostics/region_name.rs

+3-4
Original file line numberDiff line numberDiff line change
@@ -671,7 +671,6 @@ impl<'tcx> MirBorrowckCtxt<'_, '_, 'tcx> {
671671
#[instrument(level = "trace", skip(self))]
672672
fn give_name_if_anonymous_region_appears_in_output(&self, fr: RegionVid) -> Option<RegionName> {
673673
let tcx = self.infcx.tcx;
674-
let hir = tcx.hir();
675674

676675
let return_ty = self.regioncx.universal_regions().unnormalized_output_ty;
677676
debug!("give_name_if_anonymous_region_appears_in_output: return_ty = {:?}", return_ty);
@@ -711,7 +710,7 @@ impl<'tcx> MirBorrowckCtxt<'_, '_, 'tcx> {
711710
hir::CoroutineSource::Fn,
712711
)) => {
713712
let parent_item =
714-
tcx.hir_node_by_def_id(hir.get_parent_item(mir_hir_id).def_id);
713+
tcx.hir_node_by_def_id(tcx.hir_get_parent_item(mir_hir_id).def_id);
715714
let output = &parent_item
716715
.fn_decl()
717716
.expect("coroutine lowered from async fn should be in fn")
@@ -741,7 +740,7 @@ impl<'tcx> MirBorrowckCtxt<'_, '_, 'tcx> {
741740
hir::CoroutineSource::Fn,
742741
)) => {
743742
let parent_item =
744-
tcx.hir_node_by_def_id(hir.get_parent_item(mir_hir_id).def_id);
743+
tcx.hir_node_by_def_id(tcx.hir_get_parent_item(mir_hir_id).def_id);
745744
let output = &parent_item
746745
.fn_decl()
747746
.expect("coroutine lowered from gen fn should be in fn")
@@ -768,7 +767,7 @@ impl<'tcx> MirBorrowckCtxt<'_, '_, 'tcx> {
768767
hir::CoroutineSource::Fn,
769768
)) => {
770769
let parent_item =
771-
tcx.hir_node_by_def_id(hir.get_parent_item(mir_hir_id).def_id);
770+
tcx.hir_node_by_def_id(tcx.hir_get_parent_item(mir_hir_id).def_id);
772771
let output = &parent_item
773772
.fn_decl()
774773
.expect("coroutine lowered from async gen fn should be in fn")

compiler/rustc_hir_analysis/src/check/check.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -482,7 +482,7 @@ fn best_definition_site_of_opaque<'tcx>(
482482
None
483483
}
484484
hir::OpaqueTyOrigin::TyAlias { in_assoc_ty: false, .. } => {
485-
let scope = tcx.hir().get_defining_scope(tcx.local_def_id_to_hir_id(opaque_def_id));
485+
let scope = tcx.hir_get_defining_scope(tcx.local_def_id_to_hir_id(opaque_def_id));
486486
let found = if scope == hir::CRATE_HIR_ID {
487487
tcx.hir_walk_toplevel_module(&mut locator)
488488
} else {

compiler/rustc_hir_analysis/src/check/mod.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -127,7 +127,7 @@ fn get_owner_return_paths(
127127
def_id: LocalDefId,
128128
) -> Option<(LocalDefId, ReturnsVisitor<'_>)> {
129129
let hir_id = tcx.local_def_id_to_hir_id(def_id);
130-
let parent_id = tcx.hir().get_parent_item(hir_id).def_id;
130+
let parent_id = tcx.hir_get_parent_item(hir_id).def_id;
131131
tcx.hir_node_by_def_id(parent_id).body_id().map(|body_id| {
132132
let body = tcx.hir_body(body_id);
133133
let mut visitor = ReturnsVisitor::default();

compiler/rustc_hir_analysis/src/check/wfcheck.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -853,7 +853,7 @@ fn could_be_self(trait_def_id: LocalDefId, ty: &hir::Ty<'_>) -> bool {
853853
/// In such cases, suggest using `Self` instead.
854854
fn check_dyn_incompatible_self_trait_by_name(tcx: TyCtxt<'_>, item: &hir::TraitItem<'_>) {
855855
let (trait_name, trait_def_id) =
856-
match tcx.hir_node_by_def_id(tcx.hir().get_parent_item(item.hir_id()).def_id) {
856+
match tcx.hir_node_by_def_id(tcx.hir_get_parent_item(item.hir_id()).def_id) {
857857
hir::Node::Item(item) => match item.kind {
858858
hir::ItemKind::Trait(..) => (item.ident, item.owner_id),
859859
_ => return,

compiler/rustc_hir_analysis/src/collect.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -469,7 +469,7 @@ impl<'tcx> HirTyLowerer<'tcx> for ItemCtxt<'tcx> {
469469
let item = self
470470
.tcx
471471
.hir()
472-
.expect_item(self.tcx.hir().get_parent_item(self.hir_id()).def_id);
472+
.expect_item(self.tcx.hir_get_parent_item(self.hir_id()).def_id);
473473
match &item.kind {
474474
hir::ItemKind::Enum(_, generics)
475475
| hir::ItemKind::Struct(_, generics)
@@ -1349,7 +1349,7 @@ fn fn_sig(tcx: TyCtxt<'_>, def_id: LocalDefId) -> ty::EarlyBinder<'_, ty::PolyFn
13491349
}
13501350

13511351
Ctor(data) | Variant(hir::Variant { data, .. }) if data.ctor().is_some() => {
1352-
let adt_def_id = tcx.hir().get_parent_item(hir_id).def_id.to_def_id();
1352+
let adt_def_id = tcx.hir_get_parent_item(hir_id).def_id.to_def_id();
13531353
let ty = tcx.type_of(adt_def_id).instantiate_identity();
13541354
let inputs = data.fields().iter().map(|f| tcx.type_of(f.def_id).instantiate_identity());
13551355
// constructors for structs with `layout_scalar_valid_range` are unsafe to call

compiler/rustc_hir_analysis/src/collect/generics_of.rs

+3-3
Original file line numberDiff line numberDiff line change
@@ -71,7 +71,7 @@ pub(super) fn generics_of(tcx: TyCtxt<'_>, def_id: LocalDefId) -> ty::Generics {
7171
| Node::Variant(_)
7272
| Node::Ctor(..)
7373
| Node::Field(_) => {
74-
let parent_id = tcx.hir().get_parent_item(hir_id);
74+
let parent_id = tcx.hir_get_parent_item(hir_id);
7575
Some(parent_id.to_def_id())
7676
}
7777
// FIXME(#43408) always enable this once `lazy_normalization` is
@@ -90,12 +90,12 @@ pub(super) fn generics_of(tcx: TyCtxt<'_>, def_id: LocalDefId) -> ty::Generics {
9090
let parent_did = if let DefKind::AnonConst = tcx.def_kind(parent_did) {
9191
parent_did
9292
} else {
93-
tcx.hir().get_parent_item(hir_id).to_def_id()
93+
tcx.hir_get_parent_item(hir_id).to_def_id()
9494
};
9595
debug!(?parent_did);
9696

9797
let mut in_param_ty = false;
98-
for (_parent, node) in tcx.hir().parent_iter(hir_id) {
98+
for (_parent, node) in tcx.hir_parent_iter(hir_id) {
9999
if let Some(generics) = node.generics() {
100100
let mut visitor = AnonConstInParamTyDetector { in_param_ty: false, ct: hir_id };
101101

compiler/rustc_hir_analysis/src/collect/predicates_of.rs

+1-2
Original file line numberDiff line numberDiff line change
@@ -382,8 +382,7 @@ fn const_evaluatable_predicates_of<'tcx>(
382382
fn is_const_param_default(tcx: TyCtxt<'_>, def: LocalDefId) -> bool {
383383
let hir_id = tcx.local_def_id_to_hir_id(def);
384384
let (_, parent_node) = tcx
385-
.hir()
386-
.parent_iter(hir_id)
385+
.hir_parent_iter(hir_id)
387386
.skip_while(|(_, n)| matches!(n, Node::ConstArg(..)))
388387
.next()
389388
.unwrap();

compiler/rustc_hir_analysis/src/collect/type_of.rs

+3-3
Original file line numberDiff line numberDiff line change
@@ -107,7 +107,7 @@ fn anon_const_type_of<'tcx>(icx: &ItemCtxt<'tcx>, def_id: LocalDefId) -> Ty<'tcx
107107
}
108108
}
109109
Node::Variant(Variant { disr_expr: Some(ref e), .. }) if e.hir_id == hir_id => {
110-
tcx.adt_def(tcx.hir().get_parent_item(hir_id)).repr().discr_type().to_ty(tcx)
110+
tcx.adt_def(tcx.hir_get_parent_item(hir_id)).repr().discr_type().to_ty(tcx)
111111
}
112112
// Sort of affects the type system, but only for the purpose of diagnostics
113113
// so no need for ConstArg.
@@ -257,7 +257,7 @@ pub(super) fn type_of(tcx: TyCtxt<'_>, def_id: LocalDefId) -> ty::EarlyBinder<'_
257257
}
258258
}
259259
ImplItemKind::Type(ty) => {
260-
if tcx.impl_trait_ref(tcx.hir().get_parent_item(hir_id)).is_none() {
260+
if tcx.impl_trait_ref(tcx.hir_get_parent_item(hir_id)).is_none() {
261261
check_feature_inherent_assoc_ty(tcx, item.span);
262262
}
263263

@@ -341,7 +341,7 @@ pub(super) fn type_of(tcx: TyCtxt<'_>, def_id: LocalDefId) -> ty::EarlyBinder<'_
341341

342342
Node::Ctor(def) | Node::Variant(Variant { data: def, .. }) => match def {
343343
VariantData::Unit(..) | VariantData::Struct { .. } => {
344-
tcx.type_of(tcx.hir().get_parent_item(hir_id)).instantiate_identity()
344+
tcx.type_of(tcx.hir_get_parent_item(hir_id)).instantiate_identity()
345345
}
346346
VariantData::Tuple(_, _, ctor) => {
347347
let args = ty::GenericArgs::identity_for_item(tcx, def_id);

compiler/rustc_hir_analysis/src/collect/type_of/opaque.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -83,7 +83,7 @@ pub(super) fn find_opaque_ty_constraints_for_impl_trait_in_assoc_type(
8383
#[instrument(skip(tcx), level = "debug")]
8484
pub(super) fn find_opaque_ty_constraints_for_tait(tcx: TyCtxt<'_>, def_id: LocalDefId) -> Ty<'_> {
8585
let hir_id = tcx.local_def_id_to_hir_id(def_id);
86-
let scope = tcx.hir().get_defining_scope(hir_id);
86+
let scope = tcx.hir_get_defining_scope(hir_id);
8787
let mut locator = TaitConstraintLocator { def_id, tcx, found: None, typeck_types: vec![] };
8888

8989
debug!(?scope);

compiler/rustc_hir_analysis/src/errors/wrong_number_of_generic_args.rs

+5-6
Original file line numberDiff line numberDiff line change
@@ -134,9 +134,9 @@ impl<'a, 'tcx> WrongNumberOfGenericArgs<'a, 'tcx> {
134134
// is from the 'of_trait' field of the enclosing impl
135135

136136
let parent = self.tcx.parent_hir_node(self.path_segment.hir_id);
137-
let parent_item = self.tcx.hir_node_by_def_id(
138-
self.tcx.hir().get_parent_item(self.path_segment.hir_id).def_id,
139-
);
137+
let parent_item = self
138+
.tcx
139+
.hir_node_by_def_id(self.tcx.hir_get_parent_item(self.path_segment.hir_id).def_id);
140140

141141
// Get the HIR id of the trait ref
142142
let hir::Node::TraitRef(hir::TraitRef { hir_ref_id: trait_ref_id, .. }) = parent else {
@@ -343,7 +343,7 @@ impl<'a, 'tcx> WrongNumberOfGenericArgs<'a, 'tcx> {
343343

344344
let mut ret = Vec::new();
345345
let mut ty_id = None;
346-
for (id, node) in self.tcx.hir().parent_iter(path_hir_id) {
346+
for (id, node) in self.tcx.hir_parent_iter(path_hir_id) {
347347
debug!(?id);
348348
if let hir::Node::Ty(_) = node {
349349
ty_id = Some(id);
@@ -437,8 +437,7 @@ impl<'a, 'tcx> WrongNumberOfGenericArgs<'a, 'tcx> {
437437
) -> String {
438438
let is_in_a_method_call = self
439439
.tcx
440-
.hir()
441-
.parent_iter(self.path_segment.hir_id)
440+
.hir_parent_iter(self.path_segment.hir_id)
442441
.skip(1)
443442
.find_map(|(_, node)| match node {
444443
hir::Node::Expr(expr) => Some(expr),

compiler/rustc_hir_analysis/src/hir_ty_lowering/bounds.rs

+1-2
Original file line numberDiff line numberDiff line change
@@ -736,8 +736,7 @@ fn check_assoc_const_binding_type<'tcx>(
736736
.map(|ty| crate::errors::TyOfAssocConstBindingNote { assoc_const, ty });
737737

738738
let enclosing_item_owner_id = tcx
739-
.hir()
740-
.parent_owner_iter(hir_id)
739+
.hir_parent_owner_iter(hir_id)
741740
.find_map(|(owner_id, parent)| parent.generics().map(|_| owner_id))
742741
.unwrap();
743742
let generics = tcx.generics_of(enclosing_item_owner_id);

compiler/rustc_hir_analysis/src/hir_ty_lowering/errors.rs

+3-4
Original file line numberDiff line numberDiff line change
@@ -223,7 +223,7 @@ impl<'tcx> dyn HirTyLowerer<'tcx> + '_ {
223223
// inside an opaque type while we're interested in the overarching type alias (TAIT).
224224
// FIXME: However, for trait aliases, this incorrectly returns the enclosing module...
225225
&& let item_def_id =
226-
tcx.hir().get_parent_item(tcx.local_def_id_to_hir_id(ty_param_def_id))
226+
tcx.hir_get_parent_item(tcx.local_def_id_to_hir_id(ty_param_def_id))
227227
// FIXME: ...which obviously won't have any generics.
228228
&& let Some(generics) = tcx.hir_get_generics(item_def_id.def_id)
229229
{
@@ -979,7 +979,7 @@ impl<'tcx> dyn HirTyLowerer<'tcx> + '_ {
979979
qself: &hir::Ty<'_>,
980980
) -> Result<(), ErrorGuaranteed> {
981981
let tcx = self.tcx();
982-
if let Some((_, node)) = tcx.hir().parent_iter(qself.hir_id).skip(1).next()
982+
if let Some((_, node)) = tcx.hir_parent_iter(qself.hir_id).skip(1).next()
983983
&& let hir::Node::Expr(hir::Expr {
984984
kind:
985985
hir::ExprKind::Path(hir::QPath::TypeRelative(
@@ -1278,8 +1278,7 @@ pub fn prohibit_assoc_item_constraint(
12781278
// Get the parent impl block based on the binding we have
12791279
// and the trait DefId
12801280
let impl_block = tcx
1281-
.hir()
1282-
.parent_iter(constraint.hir_id)
1281+
.hir_parent_iter(constraint.hir_id)
12831282
.find_map(|(_, node)| node.impl_block_of_trait(def_id));
12841283

12851284
let type_with_constraints =

compiler/rustc_hir_analysis/src/hir_ty_lowering/generics.rs

+1-2
Original file line numberDiff line numberDiff line change
@@ -542,8 +542,7 @@ pub(crate) fn check_generic_arg_count(
542542
// ```
543543
let parent_is_impl_block = cx
544544
.tcx()
545-
.hir()
546-
.parent_owner_iter(seg.hir_id)
545+
.hir_parent_owner_iter(seg.hir_id)
547546
.next()
548547
.is_some_and(|(_, owner_node)| owner_node.is_impl_block());
549548
if parent_is_impl_block {

0 commit comments

Comments
 (0)