diff options
author | TomasKralCZ <[email protected]> | 2020-01-19 16:40:53 +0000 |
---|---|---|
committer | TomasKralCZ <[email protected]> | 2020-01-19 16:40:53 +0000 |
commit | c3b9a19eb72ae9542272ae7a22ac3fb57c75daca (patch) | |
tree | 9dd83467e95f8e645b21af55c4a8ff7b796ac826 | |
parent | 8dc94a452cb908e789c926255146d1b4bf6682fb (diff) |
fix 'add_explicit_type' assist range
-rw-r--r-- | crates/ra_assists/src/assists/add_explicit_type.rs | 27 |
1 files changed, 26 insertions, 1 deletions
diff --git a/crates/ra_assists/src/assists/add_explicit_type.rs b/crates/ra_assists/src/assists/add_explicit_type.rs index f9f826b88..713abf910 100644 --- a/crates/ra_assists/src/assists/add_explicit_type.rs +++ b/crates/ra_assists/src/assists/add_explicit_type.rs | |||
@@ -1,7 +1,8 @@ | |||
1 | use hir::{db::HirDatabase, HirDisplay}; | 1 | use hir::{db::HirDatabase, HirDisplay}; |
2 | use ra_syntax::{ | 2 | use ra_syntax::{ |
3 | ast::{self, AstNode, LetStmt, NameOwner}, | 3 | ast::{self, AstNode, LetStmt, NameOwner}, |
4 | T, | 4 | SyntaxKind::EQ, |
5 | TextRange, T, | ||
5 | }; | 6 | }; |
6 | 7 | ||
7 | use crate::{Assist, AssistCtx, AssistId}; | 8 | use crate::{Assist, AssistCtx, AssistId}; |
@@ -34,6 +35,14 @@ pub(crate) fn add_explicit_type(ctx: AssistCtx<impl HirDatabase>) -> Option<Assi | |||
34 | // The binding must have a name | 35 | // The binding must have a name |
35 | let name = pat.name()?; | 36 | let name = pat.name()?; |
36 | let name_range = name.syntax().text_range(); | 37 | let name_range = name.syntax().text_range(); |
38 | // Assist should only be applicable if cursor is between 'let' and '=' | ||
39 | let stmt_range = stmt.syntax().text_range(); | ||
40 | let eq_range = stmt.syntax().descendants_with_tokens().find(|t| t.kind() == EQ)?.text_range(); | ||
41 | let let_range = TextRange::from_to(stmt_range.start(), eq_range.start()); | ||
42 | let cursor_in_range = ctx.frange.range.is_subrange(&let_range); | ||
43 | if !cursor_in_range { | ||
44 | return None; | ||
45 | } | ||
37 | // Assist not applicable if the type has already been specified | 46 | // Assist not applicable if the type has already been specified |
38 | if stmt.syntax().children_with_tokens().any(|child| child.kind() == T![:]) { | 47 | if stmt.syntax().children_with_tokens().any(|child| child.kind() == T![:]) { |
39 | return None; | 48 | return None; |
@@ -109,4 +118,20 @@ mod tests { | |||
109 | fn add_explicit_type_not_applicable_if_specified_ty_is_tuple() { | 118 | fn add_explicit_type_not_applicable_if_specified_ty_is_tuple() { |
110 | check_assist_not_applicable(add_explicit_type, "fn f() { let a<|>: (i32, i32) = (3, 4); }"); | 119 | check_assist_not_applicable(add_explicit_type, "fn f() { let a<|>: (i32, i32) = (3, 4); }"); |
111 | } | 120 | } |
121 | |||
122 | #[test] | ||
123 | fn add_explicit_type_not_applicable_if_cursor_after_equals() { | ||
124 | check_assist_not_applicable( | ||
125 | add_explicit_type, | ||
126 | "fn f() {let a =<|> match 1 {2 => 3, 3 => 5};}", | ||
127 | ) | ||
128 | } | ||
129 | |||
130 | #[test] | ||
131 | fn add_explicit_type_not_applicable_if_cursor_before_let() { | ||
132 | check_assist_not_applicable( | ||
133 | add_explicit_type, | ||
134 | "fn f() <|>{let a = match 1 {2 => 3, 3 => 5};}", | ||
135 | ) | ||
136 | } | ||
112 | } | 137 | } |