16 files changed, 118 insertions, 60 deletions

diff --git a/crates/ra_ide/src/call_info.rs b/crates/ra_ide/src/call_info.rs
index 39d09a07f..ca57eceff 100644
--- a/crates/ra_ide/src/call_info.rs
+++ b/crates/ra_ide/src/call_info.rs
@@ -109,7 +109,7 @@ impl FnCallNode {
         syntax.ancestors().find_map(|node| {
             match_ast! {
                 match node {
-                    ast::CallExpr(it) => { Some(FnCallNode::CallExpr(it)) },
+                    ast::CallExpr(it) => Some(FnCallNode::CallExpr(it)),
                     ast::MethodCallExpr(it) => {
                         let arg_list = it.arg_list()?;
                         if !syntax.text_range().is_subrange(&arg_list.syntax().text_range()) {
@@ -117,8 +117,8 @@ impl FnCallNode {
                         }
                         Some(FnCallNode::MethodCallExpr(it))
                     },
-                    ast::MacroCall(it) => { Some(FnCallNode::MacroCallExpr(it)) },
-                    _ => { None },
+                    ast::MacroCall(it) => Some(FnCallNode::MacroCallExpr(it)),
+                    _ => None,
                 }
             }
         })
@@ -127,10 +127,10 @@ impl FnCallNode {
     pub(crate) fn with_node_exact(node: &SyntaxNode) -> Option<FnCallNode> {
         match_ast! {
             match node {
-                ast::CallExpr(it) => { Some(FnCallNode::CallExpr(it)) },
-                ast::MethodCallExpr(it) => { Some(FnCallNode::MethodCallExpr(it)) },
-                ast::MacroCall(it) => { Some(FnCallNode::MacroCallExpr(it)) },
-                _ => { None },
+                ast::CallExpr(it) => Some(FnCallNode::CallExpr(it)),
+                ast::MethodCallExpr(it) => Some(FnCallNode::MethodCallExpr(it)),
+                ast::MacroCall(it) => Some(FnCallNode::MacroCallExpr(it)),
+                _ => None,
             }
         }
     }
diff --git a/crates/ra_ide/src/completion.rs b/crates/ra_ide/src/completion.rs
index 93157bbba..4a1a2a04a 100644
--- a/crates/ra_ide/src/completion.rs
+++ b/crates/ra_ide/src/completion.rs
@@ -10,8 +10,8 @@ mod complete_pattern;
 mod complete_fn_param;
 mod complete_keyword;
 mod complete_snippet;
-mod complete_path;
-mod complete_scope;
+mod complete_qualified_path;
+mod complete_unqualified_path;
 mod complete_postfix;
 mod complete_macro_in_item_position;
 mod complete_trait_impl;
@@ -85,8 +85,8 @@ pub(crate) fn completions(
     complete_keyword::complete_use_tree_keyword(&mut acc, &ctx);
     complete_snippet::complete_expr_snippet(&mut acc, &ctx);
     complete_snippet::complete_item_snippet(&mut acc, &ctx);
-    complete_path::complete_path(&mut acc, &ctx);
-    complete_scope::complete_scope(&mut acc, &ctx);
+    complete_qualified_path::complete_qualified_path(&mut acc, &ctx);
+    complete_unqualified_path::complete_unqualified_path(&mut acc, &ctx);
     complete_dot::complete_dot(&mut acc, &ctx);
     complete_record::complete_record(&mut acc, &ctx);
     complete_pattern::complete_pattern(&mut acc, &ctx);
diff --git a/crates/ra_ide/src/completion/complete_fn_param.rs b/crates/ra_ide/src/completion/complete_fn_param.rs
index 9226ac055..62ae5ccb4 100644
--- a/crates/ra_ide/src/completion/complete_fn_param.rs
+++ b/crates/ra_ide/src/completion/complete_fn_param.rs
@@ -18,8 +18,8 @@ pub(super) fn complete_fn_param(acc: &mut Completions, ctx: &CompletionContext)
     for node in ctx.token.parent().ancestors() {
         match_ast! {
             match node {
-                ast::SourceFile(it) => { process(it, &mut params) },
-                ast::ItemList(it) => { process(it, &mut params) },
+                ast::SourceFile(it) => process(it, &mut params),
+                ast::ItemList(it) => process(it, &mut params),
                 _ => (),
             }
         }
diff --git a/crates/ra_ide/src/completion/complete_keyword.rs b/crates/ra_ide/src/completion/complete_keyword.rs
index 1e053ea4a..38f9c34e7 100644
--- a/crates/ra_ide/src/completion/complete_keyword.rs
+++ b/crates/ra_ide/src/completion/complete_keyword.rs
@@ -86,9 +86,9 @@ fn is_in_loop_body(leaf: &SyntaxToken) -> bool {
         }
         let loop_body = match_ast! {
             match node {
-                ast::ForExpr(it) => { it.loop_body() },
-                ast::WhileExpr(it) => { it.loop_body() },
-                ast::LoopExpr(it) => { it.loop_body() },
+                ast::ForExpr(it) => it.loop_body(),
+                ast::WhileExpr(it) => it.loop_body(),
+                ast::LoopExpr(it) => it.loop_body(),
                 _ => None,
             }
         };
diff --git a/crates/ra_ide/src/completion/complete_path.rs b/crates/ra_ide/src/completion/complete_qualified_path.rs
index 3ed2ae2b6..d98523406 100644
--- a/crates/ra_ide/src/completion/complete_path.rs
+++ b/crates/ra_ide/src/completion/complete_qualified_path.rs
@@ -6,7 +6,7 @@ use test_utils::tested_by;
 
 use crate::completion::{CompletionContext, Completions};
 
-pub(super) fn complete_path(acc: &mut Completions, ctx: &CompletionContext) {
+pub(super) fn complete_qualified_path(acc: &mut Completions, ctx: &CompletionContext) {
     let path = match &ctx.path_prefix {
         Some(path) => path.clone(),
         _ => return,
diff --git a/crates/ra_ide/src/completion/complete_record.rs b/crates/ra_ide/src/completion/complete_record.rs
index 01dd8c6db..79f5c8c8f 100644
--- a/crates/ra_ide/src/completion/complete_record.rs
+++ b/crates/ra_ide/src/completion/complete_record.rs
@@ -1,12 +1,13 @@
 //! Complete fields in record literals and patterns.
-use crate::completion::{CompletionContext, Completions};
 use ra_syntax::{ast, ast::NameOwner, SmolStr};
 
+use crate::completion::{CompletionContext, Completions};
+
 pub(super) fn complete_record(acc: &mut Completions, ctx: &CompletionContext) -> Option<()> {
     let (ty, variant, already_present_fields) =
         match (ctx.record_lit_pat.as_ref(), ctx.record_lit_syntax.as_ref()) {
             (None, None) => return None,
-            (Some(_), Some(_)) => panic!("A record cannot be both a literal and a pattern"),
+            (Some(_), Some(_)) => unreachable!("A record cannot be both a literal and a pattern"),
             (Some(record_pat), _) => (
                 ctx.sema.type_of_pat(&record_pat.clone().into())?,
                 ctx.sema.resolve_record_pattern(record_pat)?,
@@ -59,9 +60,10 @@ fn pattern_ascribed_fields(record_pat: &ast::RecordPat) -> Vec<SmolStr> {
 #[cfg(test)]
 mod tests {
     mod record_lit_tests {
-        use crate::completion::{test_utils::do_completion, CompletionItem, CompletionKind};
         use insta::assert_debug_snapshot;
 
+        use crate::completion::{test_utils::do_completion, CompletionItem, CompletionKind};
+
         fn complete(code: &str) -> Vec<CompletionItem> {
             do_completion(code, CompletionKind::Reference)
         }
@@ -204,9 +206,10 @@ mod tests {
     }
 
     mod record_pat_tests {
-        use crate::completion::{test_utils::do_completion, CompletionItem, CompletionKind};
         use insta::assert_debug_snapshot;
 
+        use crate::completion::{test_utils::do_completion, CompletionItem, CompletionKind};
+
         fn complete(code: &str) -> Vec<CompletionItem> {
             do_completion(code, CompletionKind::Reference)
         }
diff --git a/crates/ra_ide/src/completion/complete_scope.rs b/crates/ra_ide/src/completion/complete_unqualified_path.rs
index 665597e4c..efde9bf73 100644
--- a/crates/ra_ide/src/completion/complete_scope.rs
+++ b/crates/ra_ide/src/completion/complete_unqualified_path.rs
@@ -2,7 +2,7 @@
 
 use crate::completion::{CompletionContext, Completions};
 
-pub(super) fn complete_scope(acc: &mut Completions, ctx: &CompletionContext) {
+pub(super) fn complete_unqualified_path(acc: &mut Completions, ctx: &CompletionContext) {
     if !(ctx.is_trivial_path && !ctx.is_pat_binding_or_const) {
         return;
     }
diff --git a/crates/ra_ide/src/completion/completion_context.rs b/crates/ra_ide/src/completion/completion_context.rs
index b8213d62f..f833d2a9a 100644
--- a/crates/ra_ide/src/completion/completion_context.rs
+++ b/crates/ra_ide/src/completion/completion_context.rs
@@ -50,6 +50,8 @@ pub(crate) struct CompletionContext<'a> {
     pub(super) dot_receiver_is_ambiguous_float_literal: bool,
     /// If this is a call (method or function) in particular, i.e. the () are already there.
     pub(super) is_call: bool,
+    /// If this is a macro call, i.e. the () are already there.
+    pub(super) is_macro_call: bool,
     pub(super) is_path_type: bool,
     pub(super) has_type_args: bool,
 }
@@ -102,6 +104,7 @@ impl<'a> CompletionContext<'a> {
             is_new_item: false,
             dot_receiver: None,
             is_call: false,
+            is_macro_call: false,
             is_path_type: false,
             has_type_args: false,
             dot_receiver_is_ambiguous_float_literal: false,
@@ -269,6 +272,7 @@ impl<'a> CompletionContext<'a> {
                 .and_then(ast::PathExpr::cast)
                 .and_then(|it| it.syntax().parent().and_then(ast::CallExpr::cast))
                 .is_some();
+            self.is_macro_call = path.syntax().parent().and_then(ast::MacroCall::cast).is_some();
 
             self.is_path_type = path.syntax().parent().and_then(ast::PathType::cast).is_some();
             self.has_type_args = segment.type_arg_list().is_some();
diff --git a/crates/ra_ide/src/completion/presentation.rs b/crates/ra_ide/src/completion/presentation.rs
index cdfd7bc32..55f75b15a 100644
--- a/crates/ra_ide/src/completion/presentation.rs
+++ b/crates/ra_ide/src/completion/presentation.rs
@@ -174,7 +174,8 @@ impl Completions {
                 .set_deprecated(is_deprecated(macro_, ctx.db))
                 .detail(detail);
 
-        builder = if ctx.use_item_syntax.is_some() {
+        builder = if ctx.use_item_syntax.is_some() || ctx.is_macro_call {
+            tested_by!(dont_insert_macro_call_parens_unncessary);
             builder.insert_text(name)
         } else {
             let macro_braces_to_insert =
@@ -960,7 +961,8 @@ mod tests {
     }
 
     #[test]
-    fn dont_insert_macro_call_braces_in_use() {
+    fn dont_insert_macro_call_parens_unncessary() {
+        covers!(dont_insert_macro_call_parens_unncessary);
         assert_debug_snapshot!(
             do_reference_completion(
                 r"
@@ -986,6 +988,41 @@ mod tests {
             },
         ]
         "###
-        )
+        );
+
+        assert_debug_snapshot!(
+            do_reference_completion(
+                r"
+                //- /main.rs
+                macro_rules frobnicate {
+                    () => ()
+                }
+                fn main() {
+                    frob<|>!();
+                }
+                "
+            ),
+            @r###"
+        [
+            CompletionItem {
+                label: "frobnicate!",
+                source_range: [56; 60),
+                delete: [56; 60),
+                insert: "frobnicate",
+                kind: Macro,
+                detail: "macro_rules! frobnicate",
+            },
+            CompletionItem {
+                label: "main()",
+                source_range: [56; 60),
+                delete: [56; 60),
+                insert: "main()$0",
+                kind: Function,
+                lookup: "main",
+                detail: "fn main()",
+            },
+        ]
+        "###
+        );
     }
 }
diff --git a/crates/ra_ide/src/diagnostics.rs b/crates/ra_ide/src/diagnostics.rs
index c1d7ddaf2..901ad104c 100644
--- a/crates/ra_ide/src/diagnostics.rs
+++ b/crates/ra_ide/src/diagnostics.rs
@@ -101,6 +101,14 @@ pub(crate) fn diagnostics(db: &RootDatabase, file_id: FileId) -> Vec<Diagnostic>
             fix,
         })
     })
+    .on::<hir::diagnostics::MissingMatchArms, _>(|d| {
+        res.borrow_mut().push(Diagnostic {
+            range: d.highlight_range(),
+            message: d.message(),
+            severity: Severity::Error,
+            fix: None,
+        })
+    })
     .on::<hir::diagnostics::MissingOkInTailExpr, _>(|d| {
         let node = d.ast(db);
         let replacement = format!("Ok({})", node.syntax());
@@ -291,7 +299,7 @@ mod tests {
     fn check_no_diagnostic(content: &str) {
         let (analysis, file_id) = single_file(content);
         let diagnostics = analysis.diagnostics(file_id).unwrap();
-        assert_eq!(diagnostics.len(), 0);
+        assert_eq!(diagnostics.len(), 0, "expected no diagnostic, found one");
     }
 
     #[test]
diff --git a/crates/ra_ide/src/display/navigation_target.rs b/crates/ra_ide/src/display/navigation_target.rs
index d57451cc8..e61846995 100644
--- a/crates/ra_ide/src/display/navigation_target.rs
+++ b/crates/ra_ide/src/display/navigation_target.rs
@@ -399,17 +399,17 @@ pub(crate) fn docs_from_symbol(db: &RootDatabase, symbol: &FileSymbol) -> Option
 
     match_ast! {
         match node {
-            ast::FnDef(it) => { it.doc_comment_text() },
-            ast::StructDef(it) => { it.doc_comment_text() },
-            ast::EnumDef(it) => { it.doc_comment_text() },
-            ast::TraitDef(it) => { it.doc_comment_text() },
-            ast::Module(it) => { it.doc_comment_text() },
-            ast::TypeAliasDef(it) => { it.doc_comment_text() },
-            ast::ConstDef(it) => { it.doc_comment_text() },
-            ast::StaticDef(it) => { it.doc_comment_text() },
-            ast::RecordFieldDef(it) => { it.doc_comment_text() },
-            ast::EnumVariant(it) => { it.doc_comment_text() },
-            ast::MacroCall(it) => { it.doc_comment_text() },
+            ast::FnDef(it) => it.doc_comment_text(),
+            ast::StructDef(it) => it.doc_comment_text(),
+            ast::EnumDef(it) => it.doc_comment_text(),
+            ast::TraitDef(it) => it.doc_comment_text(),
+            ast::Module(it) => it.doc_comment_text(),
+            ast::TypeAliasDef(it) => it.doc_comment_text(),
+            ast::ConstDef(it) => it.doc_comment_text(),
+            ast::StaticDef(it) => it.doc_comment_text(),
+            ast::RecordFieldDef(it) => it.doc_comment_text(),
+            ast::EnumVariant(it) => it.doc_comment_text(),
+            ast::MacroCall(it) => it.doc_comment_text(),
             _ => None,
         }
     }
@@ -424,16 +424,16 @@ pub(crate) fn description_from_symbol(db: &RootDatabase, symbol: &FileSymbol) ->
 
     match_ast! {
         match node {
-            ast::FnDef(it) => { it.short_label() },
-            ast::StructDef(it) => { it.short_label() },
-            ast::EnumDef(it) => { it.short_label() },
-            ast::TraitDef(it) => { it.short_label() },
-            ast::Module(it) => { it.short_label() },
-            ast::TypeAliasDef(it) => { it.short_label() },
-            ast::ConstDef(it) => { it.short_label() },
-            ast::StaticDef(it) => { it.short_label() },
-            ast::RecordFieldDef(it) => { it.short_label() },
-            ast::EnumVariant(it) => { it.short_label() },
+            ast::FnDef(it) => it.short_label(),
+            ast::StructDef(it) => it.short_label(),
+            ast::EnumDef(it) => it.short_label(),
+            ast::TraitDef(it) => it.short_label(),
+            ast::Module(it) => it.short_label(),
+            ast::TypeAliasDef(it) => it.short_label(),
+            ast::ConstDef(it) => it.short_label(),
+            ast::StaticDef(it) => it.short_label(),
+            ast::RecordFieldDef(it) => it.short_label(),
+            ast::EnumVariant(it) => it.short_label(),
             _ => None,
         }
     }
diff --git a/crates/ra_ide/src/display/structure.rs b/crates/ra_ide/src/display/structure.rs
index 5774e9a8b..7a774785c 100644
--- a/crates/ra_ide/src/display/structure.rs
+++ b/crates/ra_ide/src/display/structure.rs
@@ -117,18 +117,18 @@ fn structure_node(node: &SyntaxNode) -> Option<StructureNode> {
 
                 decl_with_detail(it, Some(detail))
             },
-            ast::StructDef(it) => { decl(it) },
-            ast::EnumDef(it) => { decl(it) },
-            ast::EnumVariant(it) => { decl(it) },
-            ast::TraitDef(it) => { decl(it) },
-            ast::Module(it) => { decl(it) },
+            ast::StructDef(it) => decl(it),
+            ast::EnumDef(it) => decl(it),
+            ast::EnumVariant(it) => decl(it),
+            ast::TraitDef(it) => decl(it),
+            ast::Module(it) => decl(it),
             ast::TypeAliasDef(it) => {
                 let ty = it.type_ref();
                 decl_with_type_ref(it, ty)
             },
-            ast::RecordFieldDef(it) => { decl_with_ascription(it) },
-            ast::ConstDef(it) => { decl_with_ascription(it) },
-            ast::StaticDef(it) => { decl_with_ascription(it) },
+            ast::RecordFieldDef(it) => decl_with_ascription(it),
+            ast::ConstDef(it) => decl_with_ascription(it),
+            ast::StaticDef(it) => decl_with_ascription(it),
             ast::ImplDef(it) => {
                 let target_type = it.target_type()?;
                 let target_trait = it.target_trait();
diff --git a/crates/ra_ide/src/goto_type_definition.rs b/crates/ra_ide/src/goto_type_definition.rs
index 869a4708b..bd2688df1 100644
--- a/crates/ra_ide/src/goto_type_definition.rs
+++ b/crates/ra_ide/src/goto_type_definition.rs
@@ -18,9 +18,9 @@ pub(crate) fn goto_type_definition(
     let (ty, node) = sema.ancestors_with_macros(token.parent()).find_map(|node| {
         let ty = match_ast! {
             match node {
-                ast::Expr(expr) => { sema.type_of_expr(&expr)? },
-                ast::Pat(pat) => { sema.type_of_pat(&pat)? },
-                _ => { return None },
+                ast::Expr(expr) => sema.type_of_expr(&expr)?,
+                ast::Pat(pat) => sema.type_of_pat(&pat)?,
+                _ => return None,
             }
         };
 
diff --git a/crates/ra_ide/src/lib.rs b/crates/ra_ide/src/lib.rs
index 285381086..5599f143f 100644
--- a/crates/ra_ide/src/lib.rs
+++ b/crates/ra_ide/src/lib.rs
@@ -10,6 +10,11 @@
 // For proving that RootDatabase is RefUnwindSafe.
 #![recursion_limit = "128"]
 
+#[allow(unused)]
+macro_rules! eprintln {
+    ($($tt:tt)*) => { stdx::eprintln!($($tt)*) };
+}
+
 pub mod mock_analysis;
 mod source_change;
 
diff --git a/crates/ra_ide/src/marks.rs b/crates/ra_ide/src/marks.rs
index 1236cb773..5e1f135c5 100644
--- a/crates/ra_ide/src/marks.rs
+++ b/crates/ra_ide/src/marks.rs
@@ -7,4 +7,5 @@ test_utils::marks!(
     dont_complete_current_use
     test_resolve_parent_module_on_module_decl
     search_filters_by_range
+    dont_insert_macro_call_parens_unncessary
 );
diff --git a/crates/ra_ide/src/runnables.rs b/crates/ra_ide/src/runnables.rs
index 74877e90f..9433f3a24 100644
--- a/crates/ra_ide/src/runnables.rs
+++ b/crates/ra_ide/src/runnables.rs
@@ -49,8 +49,8 @@ pub(crate) fn runnables(db: &RootDatabase, file_id: FileId) -> Vec<Runnable> {
 fn runnable(sema: &Semantics<RootDatabase>, item: SyntaxNode) -> Option<Runnable> {
     match_ast! {
         match item {
-            ast::FnDef(it) => { runnable_fn(sema, it) },
-            ast::Module(it) => { runnable_mod(sema, it) },
+            ast::FnDef(it) => runnable_fn(sema, it),
+            ast::Module(it) => runnable_mod(sema, it),
             _ => None,
         }
     }