Rollup merge of #96559 - cjgillot:elided-path-fn, r=petrochenkov
Use the correct lifetime binder for elided lifetimes in path. Fixes https://github.com/rust-lang/rust/issues/96540
This commit is contained in:
commit
2003d833a5
@ -1319,7 +1319,7 @@ impl<'a: 'ast, 'b, 'ast> LateResolutionVisitor<'a, 'b, 'ast> {
|
|||||||
| PathSource::Struct
|
| PathSource::Struct
|
||||||
| PathSource::TupleStruct(..) => false,
|
| PathSource::TupleStruct(..) => false,
|
||||||
};
|
};
|
||||||
let mut error = false;
|
let mut res = LifetimeRes::Error;
|
||||||
for rib in self.lifetime_ribs.iter().rev() {
|
for rib in self.lifetime_ribs.iter().rev() {
|
||||||
match rib.kind {
|
match rib.kind {
|
||||||
// In create-parameter mode we error here because we don't want to support
|
// In create-parameter mode we error here because we don't want to support
|
||||||
@ -1329,7 +1329,6 @@ impl<'a: 'ast, 'b, 'ast> LateResolutionVisitor<'a, 'b, 'ast> {
|
|||||||
// impl Foo for std::cell::Ref<u32> // note lack of '_
|
// impl Foo for std::cell::Ref<u32> // note lack of '_
|
||||||
// async fn foo(_: std::cell::Ref<u32>) { ... }
|
// async fn foo(_: std::cell::Ref<u32>) { ... }
|
||||||
LifetimeRibKind::AnonymousCreateParameter(_) => {
|
LifetimeRibKind::AnonymousCreateParameter(_) => {
|
||||||
error = true;
|
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
// `PassThrough` is the normal case.
|
// `PassThrough` is the normal case.
|
||||||
@ -1338,19 +1337,21 @@ impl<'a: 'ast, 'b, 'ast> LateResolutionVisitor<'a, 'b, 'ast> {
|
|||||||
// `PathSegment`, for which there is no associated `'_` or `&T` with no explicit
|
// `PathSegment`, for which there is no associated `'_` or `&T` with no explicit
|
||||||
// lifetime. Instead, we simply create an implicit lifetime, which will be checked
|
// lifetime. Instead, we simply create an implicit lifetime, which will be checked
|
||||||
// later, at which point a suitable error will be emitted.
|
// later, at which point a suitable error will be emitted.
|
||||||
LifetimeRibKind::AnonymousPassThrough(..)
|
LifetimeRibKind::AnonymousPassThrough(binder) => {
|
||||||
| LifetimeRibKind::AnonymousReportError
|
res = LifetimeRes::Anonymous { binder, elided: true };
|
||||||
| LifetimeRibKind::Item => break,
|
break;
|
||||||
|
}
|
||||||
|
LifetimeRibKind::AnonymousReportError | LifetimeRibKind::Item => {
|
||||||
|
// FIXME(cjgillot) This resolution is wrong, but this does not matter
|
||||||
|
// since these cases are erroneous anyway. Lifetime resolution should
|
||||||
|
// emit a "missing lifetime specifier" diagnostic.
|
||||||
|
res = LifetimeRes::Anonymous { binder: DUMMY_NODE_ID, elided: true };
|
||||||
|
break;
|
||||||
|
}
|
||||||
_ => {}
|
_ => {}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
let res = if error {
|
|
||||||
LifetimeRes::Error
|
|
||||||
} else {
|
|
||||||
LifetimeRes::Anonymous { binder: segment_id, elided: true }
|
|
||||||
};
|
|
||||||
|
|
||||||
let node_ids = self.r.next_node_ids(expected_lifetimes);
|
let node_ids = self.r.next_node_ids(expected_lifetimes);
|
||||||
self.record_lifetime_res(
|
self.record_lifetime_res(
|
||||||
segment_id,
|
segment_id,
|
||||||
@ -1374,7 +1375,7 @@ impl<'a: 'ast, 'b, 'ast> LateResolutionVisitor<'a, 'b, 'ast> {
|
|||||||
// originating from macros, since the segment's span might be from a macro arg.
|
// originating from macros, since the segment's span might be from a macro arg.
|
||||||
segment.ident.span.find_ancestor_inside(path_span).unwrap_or(path_span)
|
segment.ident.span.find_ancestor_inside(path_span).unwrap_or(path_span)
|
||||||
};
|
};
|
||||||
if error {
|
if let LifetimeRes::Error = res {
|
||||||
let sess = self.r.session;
|
let sess = self.r.session;
|
||||||
let mut err = rustc_errors::struct_span_err!(
|
let mut err = rustc_errors::struct_span_err!(
|
||||||
sess,
|
sess,
|
||||||
|
19
src/test/ui/lifetimes/elided-lifetime-in-path-in-impl-Fn.rs
Normal file
19
src/test/ui/lifetimes/elided-lifetime-in-path-in-impl-Fn.rs
Normal file
@ -0,0 +1,19 @@
|
|||||||
|
// check-pass
|
||||||
|
|
||||||
|
struct Foo<'a>(&'a ());
|
||||||
|
|
||||||
|
fn with_fn() -> fn(Foo) {
|
||||||
|
|_| ()
|
||||||
|
}
|
||||||
|
|
||||||
|
fn with_impl_fn() -> impl Fn(Foo) {
|
||||||
|
|_| ()
|
||||||
|
}
|
||||||
|
|
||||||
|
fn with_where_fn<T>()
|
||||||
|
where
|
||||||
|
T: Fn(Foo),
|
||||||
|
{
|
||||||
|
}
|
||||||
|
|
||||||
|
fn main() {}
|
Loading…
x
Reference in New Issue
Block a user