Skip to content

Commit fa22fc3

Browse files
committed
in region, treat current (and future) item-likes alike
The `visit_fn` code mutates its surrounding context. Between *items*, this was saved/restored, but between impl items it was not. This meant that we wound up with `CallSiteScope` entries with two parents (or more!). As far as I can tell, this is harmless in actual type-checking, since the regions you interact with are always from at most one of those branches. But it can slow things down. Before, the effect was limited, since it only applied to impl items within an impl. After #37660, impl items are visisted all together at the end, and hence this could create a very messed up hierarchy. Isolating impl item properly solves both issues. I cannot come up with a way to unit-test this; for posterity, however, you can observe the messed up hierarchies with a test as simple as the following, which would create a callsite scope with two parents both before and after ``` struct Foo { } impl Foo { fn bar(&self) -> usize { 22 } fn baz(&self) -> usize { 22 } } fn main() { } ``` Fixes #37864.
1 parent 908dba0 commit fa22fc3

File tree

1 file changed

+8
-8
lines changed

1 file changed

+8
-8
lines changed

src/librustc/middle/region.rs

+8-8
Original file line numberDiff line numberDiff line change
@@ -1066,7 +1066,9 @@ fn resolve_local<'a, 'tcx>(visitor: &mut RegionResolutionVisitor<'tcx, 'a>,
10661066
}
10671067
}
10681068

1069-
fn resolve_item<'a, 'tcx>(visitor: &mut RegionResolutionVisitor<'tcx, 'a>, item: &'tcx hir::Item) {
1069+
fn resolve_item_like<'a, 'tcx, F>(visitor: &mut RegionResolutionVisitor<'tcx, 'a>, id: ast::NodeId, walk: F)
1070+
where F: FnOnce(&mut RegionResolutionVisitor<'tcx, 'a>)
1071+
{
10701072
// Items create a new outer block scope as far as we're concerned.
10711073
let prev_cx = visitor.cx;
10721074
let prev_ts = mem::replace(&mut visitor.terminating_scopes, NodeSet());
@@ -1075,8 +1077,8 @@ fn resolve_item<'a, 'tcx>(visitor: &mut RegionResolutionVisitor<'tcx, 'a>, item:
10751077
var_parent: ROOT_CODE_EXTENT,
10761078
parent: ROOT_CODE_EXTENT
10771079
};
1078-
intravisit::walk_item(visitor, item);
1079-
visitor.create_item_scope_if_needed(item.id);
1080+
walk(visitor);
1081+
visitor.create_item_scope_if_needed(id);
10801082
visitor.cx = prev_cx;
10811083
visitor.terminating_scopes = prev_ts;
10821084
}
@@ -1179,17 +1181,15 @@ impl<'ast, 'a> Visitor<'ast> for RegionResolutionVisitor<'ast, 'a> {
11791181
}
11801182

11811183
fn visit_item(&mut self, i: &'ast Item) {
1182-
resolve_item(self, i);
1184+
resolve_item_like(self, i.id, |this| intravisit::walk_item(this, i));
11831185
}
11841186

11851187
fn visit_impl_item(&mut self, ii: &'ast hir::ImplItem) {
1186-
intravisit::walk_impl_item(self, ii);
1187-
self.create_item_scope_if_needed(ii.id);
1188+
resolve_item_like(self, ii.id, |this| intravisit::walk_impl_item(this, ii));
11881189
}
11891190

11901191
fn visit_trait_item(&mut self, ti: &'ast hir::TraitItem) {
1191-
intravisit::walk_trait_item(self, ti);
1192-
self.create_item_scope_if_needed(ti.id);
1192+
resolve_item_like(self, ti.id, |this| intravisit::walk_trait_item(this, ti));
11931193
}
11941194

11951195
fn visit_fn(&mut self, fk: FnKind<'ast>, fd: &'ast FnDecl,

0 commit comments

Comments
 (0)