lisette-semantics 0.2.16

Little language inspired by Rust that compiles to Go
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

use diagnostics::LisetteDiagnostic;
use syntax::ast::Expression;

use super::helpers::bool_literal;

pub fn check_needless_bool(expression: &Expression, diagnostics: &mut Vec<LisetteDiagnostic>) {
    let Expression::If {
        consequence,
        alternative,
        span,
        ..
    } = expression
    else {
        return;
    };

    let (Some(then_value), Some(else_value)) = (
        block_single_bool(consequence),
        block_single_bool(alternative),
    ) else {
        return;
    };

    // Equal literals are `identical_if_branches`, not a condition rewrite.
    if then_value == else_value {
        return;
    }

    diagnostics.push(diagnostics::lint::needless_bool(span, then_value));
}

fn block_single_bool(expression: &Expression) -> Option<bool> {
    let Expression::Block { items, .. } = expression else {
        return None;
    };
    let [only] = items.as_slice() else {
        return None;
    };
    bool_literal(only.unwrap_parens())
}