From 7d15c81a3367bc538470b5f63d61498eef8efdc7 Mon Sep 17 00:00:00 2001 From: Aleksey Kladov Date: Tue, 17 Sep 2019 22:22:40 +0300 Subject: account for impls generated by macros --- crates/ra_hir/src/impl_block.rs | 81 ++++++++++++++++++++++++++++------------- crates/ra_hir/src/resolve.rs | 4 +- crates/ra_hir/src/ty/tests.rs | 17 +++++++++ 3 files changed, 74 insertions(+), 28 deletions(-) (limited to 'crates/ra_hir/src') diff --git a/crates/ra_hir/src/impl_block.rs b/crates/ra_hir/src/impl_block.rs index c463d351c..d830202bd 100644 --- a/crates/ra_hir/src/impl_block.rs +++ b/crates/ra_hir/src/impl_block.rs @@ -12,29 +12,29 @@ use crate::{ db::{AstDatabase, DefDatabase, HirDatabase}, generics::HasGenericParams, ids::LocationCtx, + ids::MacroCallLoc, resolve::Resolver, ty::Ty, type_ref::TypeRef, - AssocItem, Const, Function, HasSource, HirFileId, Source, TraitRef, TypeAlias, + AssocItem, Const, Function, HasSource, HirFileId, MacroFileKind, Path, Source, TraitRef, + TypeAlias, }; #[derive(Debug, Default, PartialEq, Eq)] pub struct ImplSourceMap { - map: ArenaMap>, + map: ArenaMap>>, } impl ImplSourceMap { - fn insert(&mut self, impl_id: ImplId, impl_block: &ast::ImplBlock) { - self.map.insert(impl_id, AstPtr::new(impl_block)) + fn insert(&mut self, impl_id: ImplId, file_id: HirFileId, impl_block: &ast::ImplBlock) { + let source = Source { file_id, ast: AstPtr::new(impl_block) }; + self.map.insert(impl_id, source) } - pub fn get(&self, source: &ModuleSource, impl_id: ImplId) -> ast::ImplBlock { - let root = match source { - ModuleSource::SourceFile(file) => file.syntax().clone(), - ModuleSource::Module(m) => m.syntax().ancestors().last().unwrap(), - }; - - self.map[impl_id].to_node(&root) + pub fn get(&self, db: &impl AstDatabase, impl_id: ImplId) -> Source { + let src = self.map[impl_id]; + let root = src.file_syntax(db); + src.map(|ptr| ptr.to_node(&root)) } } @@ -48,8 +48,7 @@ impl HasSource for ImplBlock { type Ast = ast::ImplBlock; fn source(self, db: &(impl DefDatabase + AstDatabase)) -> Source { let source_map = db.impls_in_module_with_source_map(self.module).1; - let src = self.module.definition_source(db); - Source { file_id: src.file_id, ast: source_map.get(&src.ast, self.impl_id) } + source_map.get(db, self.impl_id) } } @@ -185,24 +184,55 @@ impl ModuleImplBlocks { }; let src = m.module.definition_source(db); - let node = match &src.ast { - ModuleSource::SourceFile(node) => node.syntax().clone(), + match &src.ast { + ModuleSource::SourceFile(node) => { + m.collect_from_item_owner(db, source_map, node, src.file_id) + } ModuleSource::Module(node) => { - node.item_list().expect("inline module should have item list").syntax().clone() + let item_list = node.item_list().expect("inline module should have item list"); + m.collect_from_item_owner(db, source_map, &item_list, src.file_id) } }; + m + } - for impl_block_ast in node.children().filter_map(ast::ImplBlock::cast) { - let impl_block = ImplData::from_ast(db, src.file_id, m.module, &impl_block_ast); - let id = m.impls.alloc(impl_block); - for &impl_item in &m.impls[id].items { - m.impls_by_def.insert(impl_item, id); + fn collect_from_item_owner( + &mut self, + db: &(impl DefDatabase + AstDatabase), + source_map: &mut ImplSourceMap, + owner: &dyn ast::ModuleItemOwner, + file_id: HirFileId, + ) { + for item in owner.items_with_macros() { + match item { + ast::ItemOrMacro::Item(ast::ModuleItem::ImplBlock(impl_block_ast)) => { + let impl_block = ImplData::from_ast(db, file_id, self.module, &impl_block_ast); + let id = self.impls.alloc(impl_block); + for &impl_item in &self.impls[id].items { + self.impls_by_def.insert(impl_item, id); + } + + source_map.insert(id, file_id, &impl_block_ast); + } + ast::ItemOrMacro::Item(_) => (), + ast::ItemOrMacro::Macro(macro_call) => { + //FIXME: we should really cut down on the boilerplate required to process a macro + let ast_id = db.ast_id_map(file_id).ast_id(¯o_call).with_file_id(file_id); + if let Some(path) = macro_call.path().and_then(Path::from_ast) { + if let Some(def) = self.module.resolver(db).resolve_path_as_macro(db, &path) + { + let call_id = MacroCallLoc { def: def.id, ast_id }.id(db); + let file_id = call_id.as_file(MacroFileKind::Items); + if let Some(item_list) = + db.parse_or_expand(file_id).and_then(ast::MacroItems::cast) + { + self.collect_from_item_owner(db, source_map, &item_list, file_id) + } + } + } + } } - - source_map.insert(id, &impl_block_ast); } - - m } } @@ -213,7 +243,6 @@ pub(crate) fn impls_in_module_with_source_map_query( let mut source_map = ImplSourceMap::default(); let result = ModuleImplBlocks::collect(db, module, &mut source_map); - (Arc::new(result), Arc::new(source_map)) } diff --git a/crates/ra_hir/src/resolve.rs b/crates/ra_hir/src/resolve.rs index a23c8792a..254d1a964 100644 --- a/crates/ra_hir/src/resolve.rs +++ b/crates/ra_hir/src/resolve.rs @@ -5,7 +5,7 @@ use rustc_hash::FxHashSet; use crate::{ code_model::Crate, - db::HirDatabase, + db::{DefDatabase, HirDatabase}, expr::{ scope::{ExprScopes, ScopeId}, PatId, @@ -290,7 +290,7 @@ impl Resolver { pub(crate) fn resolve_path_as_macro( &self, - db: &impl HirDatabase, + db: &impl DefDatabase, path: &Path, ) -> Option { let (item_map, module) = self.module()?; diff --git a/crates/ra_hir/src/ty/tests.rs b/crates/ra_hir/src/ty/tests.rs index 09c17fdf4..3b0a99460 100644 --- a/crates/ra_hir/src/ty/tests.rs +++ b/crates/ra_hir/src/ty/tests.rs @@ -2997,6 +2997,23 @@ fn foo() { ); } +#[test] +fn processes_impls_generated_by_macros() { + let t = type_at( + r#" +//- /main.rs +macro_rules! m { + ($ident:ident) => (impl Trait for $ident {}) +} +trait Trait { fn foo(self) -> u128 {} } +struct S; +m!(S); +fn test() { S.foo()<|>; } +"#, + ); + assert_eq!(t, "u128"); +} + #[ignore] #[test] fn method_resolution_trait_before_autoref() { -- cgit v1.2.3