From 121bd5c533de2ae8b74de72f1b1dbbc7327d358b Mon Sep 17 00:00:00 2001 From: Lukas Tobias Wirth Date: Mon, 3 May 2021 21:34:34 +0200 Subject: Make CompletionContext expected_type smarter --- .../src/completions/qualified_path.rs | 22 --- crates/ide_completion/src/context.rs | 208 +++++++++++---------- 2 files changed, 113 insertions(+), 117 deletions(-) (limited to 'crates/ide_completion/src') diff --git a/crates/ide_completion/src/completions/qualified_path.rs b/crates/ide_completion/src/completions/qualified_path.rs index 969249df6..d8f23d1eb 100644 --- a/crates/ide_completion/src/completions/qualified_path.rs +++ b/crates/ide_completion/src/completions/qualified_path.rs @@ -736,28 +736,6 @@ fn f() {} ); } - #[test] - fn completes_function() { - check( - r#" -fn foo( - a: i32, - b: i32 -) { - -} - -fn main() { - fo$0 -} -"#, - expect![[r#" - fn main() fn() - fn foo(…) fn(i32, i32) - "#]], - ); - } - #[test] fn completes_self_enum() { check( diff --git a/crates/ide_completion/src/context.rs b/crates/ide_completion/src/context.rs index b005bd773..f3fcb712c 100644 --- a/crates/ide_completion/src/context.rs +++ b/crates/ide_completion/src/context.rs @@ -301,103 +301,108 @@ impl<'a> CompletionContext<'a> { .find_map(ast::Impl::cast); } + fn expected_type_and_name(&self) -> (Option, Option) { + let mut node = match self.token.parent() { + Some(it) => it, + None => return (None, None), + }; + loop { + break match_ast! { + match node { + ast::LetStmt(it) => { + cov_mark::hit!(expected_type_let_with_leading_char); + cov_mark::hit!(expected_type_let_without_leading_char); + let ty = it.pat() + .and_then(|pat| self.sema.type_of_pat(&pat)); + let name = if let Some(ast::Pat::IdentPat(ident)) = it.pat() { + ident.name().map(NameOrNameRef::Name) + } else { + None + }; + + (ty, name) + }, + ast::ArgList(_it) => { + cov_mark::hit!(expected_type_fn_param_with_leading_char); + cov_mark::hit!(expected_type_fn_param_without_leading_char); + ActiveParameter::at_token( + &self.sema, + self.token.clone(), + ).map(|ap| { + let name = ap.ident().map(NameOrNameRef::Name); + (Some(ap.ty), name) + }) + .unwrap_or((None, None)) + }, + ast::RecordExprFieldList(_it) => { + cov_mark::hit!(expected_type_struct_field_without_leading_char); + self.token.prev_sibling_or_token() + .and_then(|se| se.into_node()) + .and_then(|node| ast::RecordExprField::cast(node)) + .and_then(|rf| self.sema.resolve_record_field(&rf).zip(Some(rf))) + .map(|(f, rf)|( + Some(f.0.ty(self.db)), + rf.field_name().map(NameOrNameRef::NameRef), + )) + .unwrap_or((None, None)) + }, + ast::RecordExprField(it) => { + cov_mark::hit!(expected_type_struct_field_with_leading_char); + self.sema + .resolve_record_field(&it) + .map(|f|( + Some(f.0.ty(self.db)), + it.field_name().map(NameOrNameRef::NameRef), + )) + .unwrap_or((None, None)) + }, + ast::MatchExpr(it) => { + cov_mark::hit!(expected_type_match_arm_without_leading_char); + let ty = it.expr() + .and_then(|e| self.sema.type_of_expr(&e)); + (ty, None) + }, + ast::IfExpr(it) => { + cov_mark::hit!(expected_type_if_let_without_leading_char); + let ty = it.condition() + .and_then(|cond| cond.expr()) + .and_then(|e| self.sema.type_of_expr(&e)); + (ty, None) + }, + ast::IdentPat(it) => { + cov_mark::hit!(expected_type_if_let_with_leading_char); + cov_mark::hit!(expected_type_match_arm_with_leading_char); + let ty = self.sema.type_of_pat(&ast::Pat::from(it)); + (ty, None) + }, + ast::Fn(it) => { + cov_mark::hit!(expected_type_fn_ret_with_leading_char); + cov_mark::hit!(expected_type_fn_ret_without_leading_char); + let def = self.sema.to_def(&it); + (def.map(|def| def.ret_type(self.db)), None) + }, + ast::Stmt(it) => (None, None), + _ => { + match node.parent() { + Some(n) => { + node = n; + continue; + }, + None => (None, None), + } + }, + } + }; + } + } + fn fill( &mut self, original_file: &SyntaxNode, file_with_fake_ident: SyntaxNode, offset: TextSize, ) { - let (expected_type, expected_name) = { - let mut node = match self.token.parent() { - Some(it) => it, - None => return, - }; - loop { - break match_ast! { - match node { - ast::LetStmt(it) => { - cov_mark::hit!(expected_type_let_with_leading_char); - cov_mark::hit!(expected_type_let_without_leading_char); - let ty = it.pat() - .and_then(|pat| self.sema.type_of_pat(&pat)); - let name = if let Some(ast::Pat::IdentPat(ident)) = it.pat() { - ident.name().map(NameOrNameRef::Name) - } else { - None - }; - - (ty, name) - }, - ast::ArgList(_it) => { - cov_mark::hit!(expected_type_fn_param_with_leading_char); - cov_mark::hit!(expected_type_fn_param_without_leading_char); - ActiveParameter::at_token( - &self.sema, - self.token.clone(), - ).map(|ap| { - let name = ap.ident().map(NameOrNameRef::Name); - (Some(ap.ty), name) - }) - .unwrap_or((None, None)) - }, - ast::RecordExprFieldList(_it) => { - cov_mark::hit!(expected_type_struct_field_without_leading_char); - self.token.prev_sibling_or_token() - .and_then(|se| se.into_node()) - .and_then(|node| ast::RecordExprField::cast(node)) - .and_then(|rf| self.sema.resolve_record_field(&rf).zip(Some(rf))) - .map(|(f, rf)|( - Some(f.0.ty(self.db)), - rf.field_name().map(NameOrNameRef::NameRef), - )) - .unwrap_or((None, None)) - }, - ast::RecordExprField(it) => { - cov_mark::hit!(expected_type_struct_field_with_leading_char); - self.sema - .resolve_record_field(&it) - .map(|f|( - Some(f.0.ty(self.db)), - it.field_name().map(NameOrNameRef::NameRef), - )) - .unwrap_or((None, None)) - }, - ast::MatchExpr(it) => { - cov_mark::hit!(expected_type_match_arm_without_leading_char); - let ty = it.expr() - .and_then(|e| self.sema.type_of_expr(&e)); - - (ty, None) - }, - ast::IdentPat(it) => { - cov_mark::hit!(expected_type_if_let_with_leading_char); - cov_mark::hit!(expected_type_match_arm_with_leading_char); - let ty = self.sema.type_of_pat(&ast::Pat::from(it)); - - (ty, None) - }, - ast::Fn(_it) => { - cov_mark::hit!(expected_type_fn_ret_with_leading_char); - cov_mark::hit!(expected_type_fn_ret_without_leading_char); - let ty = self.token.ancestors() - .find_map(|ancestor| ast::Expr::cast(ancestor)) - .and_then(|expr| self.sema.type_of_expr(&expr)); - - (ty, None) - }, - _ => { - match node.parent() { - Some(n) => { - node = n; - continue; - }, - None => (None, None), - } - }, - } - }; - } - }; + let (expected_type, expected_name) = self.expected_type_and_name(); self.expected_type = expected_type; self.expected_name = expected_name; self.attribute_under_caret = find_node_at_offset(&file_with_fake_ident, offset); @@ -802,6 +807,7 @@ fn foo() { #[test] fn expected_type_if_let_without_leading_char() { + cov_mark::check!(expected_type_if_let_without_leading_char); check_expected_type_and_name( r#" enum Foo { Bar, Baz, Quux } @@ -811,8 +817,8 @@ fn foo() { if let $0 = f { } } "#, - expect![[r#"ty: (), name: ?"#]], - ) // FIXME should be `ty: u32, name: ?` + expect![[r#"ty: Foo, name: ?"#]], + ) } #[test] @@ -840,8 +846,8 @@ fn foo() -> u32 { $0 } "#, - expect![[r#"ty: (), name: ?"#]], - ) // FIXME this should be `ty: u32, name: ?` + expect![[r#"ty: u32, name: ?"#]], + ) } #[test] @@ -852,6 +858,18 @@ fn foo() -> u32 { fn foo() -> u32 { c$0 } +"#, + expect![[r#"ty: u32, name: ?"#]], + ) + } + + #[test] + fn expected_type_fn_ret_fn_ref_fully_typed() { + check_expected_type_and_name( + r#" +fn foo() -> u32 { + foo$0 +} "#, expect![[r#"ty: u32, name: ?"#]], ) -- cgit v1.2.3