Fix lowering trailing self paths in UseTrees

This commit is contained in:
Lukas Wirth 2021-02-24 23:37:08 +01:00
parent aa38fa1c72
commit ca7cd41a48
2 changed files with 40 additions and 2 deletions

View File

@ -101,8 +101,12 @@ pub(super) fn lower_path(mut path: ast::Path, hygiene: &Hygiene) -> Option<Path>
break;
}
ast::PathSegmentKind::SelfKw => {
kind = PathKind::Super(0);
break;
// don't break out if `self` is the last segment of a path, this mean we got an
// use tree like `foo::{self}` which we want to resolve as `foo`
if !segments.is_empty() {
kind = PathKind::Super(0);
break;
}
}
ast::PathSegmentKind::SuperKw => {
let nested_super_count = if let PathKind::Super(n) = kind { n } else { 0 };
@ -117,6 +121,11 @@ pub(super) fn lower_path(mut path: ast::Path, hygiene: &Hygiene) -> Option<Path>
segments.reverse();
generic_args.reverse();
if segments.is_empty() && kind == PathKind::Plain && type_anchor.is_none() {
// plain empty paths don't exist, this means we got a single `self` segment as our path
kind = PathKind::Super(0);
}
// handle local_inner_macros :
// Basically, even in rustc it is quite hacky:
// https://github.com/rust-lang/rust/blob/614f273e9388ddd7804d5cbc80b8865068a3744e/src/librustc_resolve/macros.rs#L456

View File

@ -3496,4 +3496,33 @@ fn hover_mod_def() {
"#]],
);
}
#[test]
fn hover_self_in_use() {
check(
r#"
//! This should not appear
mod foo {
/// But this should appear
pub mod bar {}
}
use foo::bar::{self$0};
"#,
expect![[r#"
*self*
```rust
test::foo
```
```rust
pub mod bar
```
---
But this should appear
"#]],
);
}
}