aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_syntax/src/validation/block.rs
blob: 8e962ab5b77cd42f2dd3c73854267da407ff490e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
//! Logic for validating block expressions i.e. `ast::BlockExpr`.

use crate::{
    ast::{self, AstNode, AttrsOwner},
    SyntaxError,
    SyntaxKind::*,
};

pub(crate) fn validate_block_expr(expr: ast::BlockExpr, errors: &mut Vec<SyntaxError>) {
    if let Some(parent) = expr.syntax().parent() {
        match parent.kind() {
            FN_DEF | EXPR_STMT | BLOCK => return,
            _ => {}
        }
    }
    if let Some(block) = expr.block() {
        errors.extend(block.attrs().map(|attr| {
            SyntaxError::new(
                "A block in this position cannot accept inner attributes",
                attr.syntax().text_range(),
            )
        }))
    }
}