Mirrors/rust-analyzer
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer synced 2024-12-27 05:23:24 +00:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #17546 - Veykril:unresolved-self, r=Veykril

Browse source 
internal: Diagnose unresolved self value in path expression
This commit is contained in:
bors 2024-07-06 13:46:01 +00:00
commit 39d7962c69
2 changed files with 18 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
crates/hir-ty/src/infer/expr.rs
View file

@ -440,7 +440,8 @@ impl InferenceContext<'_> {
let ty = match self.infer_path(p, tgt_expr.into()) {
Some(ty) => ty,
None => {
if matches!(p, Path::Normal { mod_path, .. } if mod_path.is_ident()) {
if matches!(p, Path::Normal { mod_path, .. } if mod_path.is_ident() || mod_path.is_self())
{
self.push_diagnostic(InferenceDiagnostic::UnresolvedIdent {
expr: tgt_expr,
});

16
crates/ide-diagnostics/src/handlers/unresolved_ident.rs
View file

@ -53,6 +53,22 @@ fn main() {
let x = 5;
let _ = x;
}
"#,
);
}
#[test]
fn unresolved_self_val() {
check_diagnostics(
r#"
fn main() {
self.a;
//^^^^ error: no such value in this scope
let self:
self =
self;
//^^^^ error: no such value in this scope
}
"#,
);
}