Parse and validate attributes in blocks

1 files changed, 24 insertions, 0 deletions

diff --git a/crates/ra_syntax/src/validation/block.rs b/crates/ra_syntax/src/validation/block.rs
new file mode 100644
index 000000000..9e1949124
--- /dev/null
+++ b/crates/ra_syntax/src/validation/block.rs
@@ -0,0 +1,24 @@
+use crate::{SyntaxKind::*,
+    ast::{self, AttrsOwner, AstNode},
+    yellow::{
+        SyntaxError,
+        SyntaxErrorKind::*,
+    },
+};
+
+pub(crate) fn validate_block_node(node: &ast::Block, errors: &mut Vec<SyntaxError>) {
+    if let Some(parent) = node.syntax().parent() {
+        match parent.kind() {
+            FN_DEF => return,
+            BLOCK_EXPR => match parent.parent().map(|v| v.kind()) {
+                Some(EXPR_STMT) | Some(BLOCK) => return,
+                _ => {}
+            },
+            _ => {}
+        }
+    }
+    errors.extend(
+        node.attrs()
+            .map(|attr| SyntaxError::new(InvalidBlockAttr, attr.syntax().range())),
+    )
+}