From f9c1336873d65805ad34129939d800dbf59daf61 Mon Sep 17 00:00:00 2001 From: Aleksey Kladov Date: Thu, 15 Oct 2020 17:18:07 +0200 Subject: More clarifications --- crates/ide_db/src/defs.rs | 20 ++++++++++---------- crates/ide_db/src/search.rs | 4 ++-- 2 files changed, 12 insertions(+), 12 deletions(-) (limited to 'crates/ide_db/src') diff --git a/crates/ide_db/src/defs.rs b/crates/ide_db/src/defs.rs index a2682d73c..717581593 100644 --- a/crates/ide_db/src/defs.rs +++ b/crates/ide_db/src/defs.rs @@ -81,12 +81,12 @@ impl Definition { pub enum NameClass { ExternCrate(Crate), Definition(Definition), - /// `None` in `if let None = Some(82) {}` + /// `None` in `if let None = Some(82) {}`. ConstReference(Definition), - /// `field` in `if let Foo { field } = todo!() {}` + /// `field` in `if let Foo { field } = foo`. PatFieldShorthand { - local: Local, - field: Definition, + local_def: Local, + field_ref: Definition, }, } @@ -96,18 +96,18 @@ impl NameClass { NameClass::ExternCrate(krate) => Definition::ModuleDef(krate.root_module(db).into()), NameClass::Definition(it) => it, NameClass::ConstReference(_) => return None, - /// Both `local` and `field` are definitions here, but only `local` - /// is the definition which is introduced by this name. - NameClass::PatFieldShorthand { local, field: _ } => Definition::Local(local), + NameClass::PatFieldShorthand { local_def, field_ref: _ } => { + Definition::Local(local_def) + } }; Some(res) } - pub fn definition_or_reference(self, db: &dyn HirDatabase) -> Definition { + pub fn reference_or_definition(self, db: &dyn HirDatabase) -> Definition { match self { NameClass::ExternCrate(krate) => Definition::ModuleDef(krate.root_module(db).into()), NameClass::Definition(it) | NameClass::ConstReference(it) => it, - NameClass::PatFieldShorthand { local: _, field } => field, + NameClass::PatFieldShorthand { local_def: _, field_ref } => field_ref, } } } @@ -165,7 +165,7 @@ pub fn classify_name(sema: &Semantics, name: &ast::Name) -> Option if record_pat_field.name_ref().is_none() { if let Some(field) = sema.resolve_record_pat_field(&record_pat_field) { let field = Definition::Field(field); - return Some(NameClass::PatFieldShorthand { local, field }); + return Some(NameClass::PatFieldShorthand { local_def: local, field_ref: field }); } } } diff --git a/crates/ide_db/src/search.rs b/crates/ide_db/src/search.rs index 43b8560ca..8048aa621 100644 --- a/crates/ide_db/src/search.rs +++ b/crates/ide_db/src/search.rs @@ -314,9 +314,9 @@ impl<'a> FindUsages<'a> { fn found_name(&self, name: &ast::Name, sink: &mut dyn FnMut(Reference) -> bool) -> bool { match classify_name(self.sema, name) { - Some(NameClass::PatFieldShorthand { local: _, field }) => { + Some(NameClass::PatFieldShorthand { local_def: _, field_ref }) => { let reference = match self.def { - Definition::Field(_) if &field == self.def => Reference { + Definition::Field(_) if &field_ref == self.def => Reference { file_range: self.sema.original_range(name.syntax()), kind: ReferenceKind::FieldShorthandForField, // FIXME: mutable patterns should have `Write` access -- cgit v1.2.3