Skip to content

Commit a2b4ec2

Browse files
committed
Use Set1<Region> instead of Option<Region>
1 parent 07903fe commit a2b4ec2

File tree

1 file changed

+6
-5
lines changed

1 file changed

+6
-5
lines changed

src/librustc/middle/resolve_lifetime.rs

+6-5
Original file line numberDiff line numberDiff line change
@@ -2120,7 +2120,7 @@ impl<'a, 'tcx> LifetimeContext<'a, 'tcx> {
21202120
struct SelfVisitor<'a> {
21212121
map: &'a NamedRegionMap,
21222122
impl_self: Option<&'a hir::TyKind>,
2123-
lifetime: Option<Region>,
2123+
lifetime: Set1<Region>,
21242124
}
21252125

21262126
impl SelfVisitor<'_> {
@@ -2164,8 +2164,9 @@ impl<'a, 'tcx> LifetimeContext<'a, 'tcx> {
21642164
if let hir::TyKind::Path(hir::QPath::Resolved(None, ref path)) = mt.ty.node
21652165
{
21662166
if self.is_self_ty(path.res) {
2167-
self.lifetime = self.map.defs.get(&lifetime_ref.hir_id).copied();
2168-
return;
2167+
if let Some(lifetime) = self.map.defs.get(&lifetime_ref.hir_id) {
2168+
self.lifetime.insert(*lifetime);
2169+
}
21692170
}
21702171
}
21712172
}
@@ -2176,10 +2177,10 @@ impl<'a, 'tcx> LifetimeContext<'a, 'tcx> {
21762177
let mut visitor = SelfVisitor {
21772178
map: self.map,
21782179
impl_self: impl_self.map(|ty| &ty.node),
2179-
lifetime: None,
2180+
lifetime: Set1::Empty,
21802181
};
21812182
visitor.visit_ty(&inputs[0]);
2182-
if let Some(lifetime) = visitor.lifetime {
2183+
if let Set1::One(lifetime) = visitor.lifetime {
21832184
let scope = Scope::Elision {
21842185
elide: Elide::Exact(lifetime),
21852186
s: self.scope,

0 commit comments

Comments
 (0)