Skip to content

Commit 3be8422

Browse files
committed
Use Set1<Region> instead of Option<Region>
1 parent 0bc8878 commit 3be8422

File tree

1 file changed

+6
-5
lines changed

1 file changed

+6
-5
lines changed

src/librustc/middle/resolve_lifetime.rs

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2149,7 +2149,7 @@ impl<'a, 'tcx> LifetimeContext<'a, 'tcx> {
21492149
struct SelfVisitor<'a> {
21502150
map: &'a NamedRegionMap,
21512151
impl_self: Option<&'a hir::TyKind>,
2152-
lifetime: Option<Region>,
2152+
lifetime: Set1<Region>,
21532153
}
21542154

21552155
impl SelfVisitor<'_> {
@@ -2193,8 +2193,9 @@ impl<'a, 'tcx> LifetimeContext<'a, 'tcx> {
21932193
if let hir::TyKind::Path(hir::QPath::Resolved(None, ref path)) = mt.ty.node
21942194
{
21952195
if self.is_self_ty(path.res) {
2196-
self.lifetime = self.map.defs.get(&lifetime_ref.hir_id).copied();
2197-
return;
2196+
if let Some(lifetime) = self.map.defs.get(&lifetime_ref.hir_id) {
2197+
self.lifetime.insert(*lifetime);
2198+
}
21982199
}
21992200
}
22002201
}
@@ -2205,10 +2206,10 @@ impl<'a, 'tcx> LifetimeContext<'a, 'tcx> {
22052206
let mut visitor = SelfVisitor {
22062207
map: self.map,
22072208
impl_self: impl_self.map(|ty| &ty.node),
2208-
lifetime: None,
2209+
lifetime: Set1::Empty,
22092210
};
22102211
visitor.visit_ty(&inputs[0]);
2211-
if let Some(lifetime) = visitor.lifetime {
2212+
if let Set1::One(lifetime) = visitor.lifetime {
22122213
let scope = Scope::Elision {
22132214
elide: Elide::Exact(lifetime),
22142215
s: self.scope,

0 commit comments

Comments
 (0)