feat(linter): eslint/no-fallthrough [BLOCKED]

[suica]

Blocked by control flow analysis

For #597

Summary

In eslint: https://eslint.org/docs/latest/rules/no-fallthrough

TODOs:

• Implement reachability analysis first...which should be in another PR.
• Pass basic cases
• Support commentPattern option. Ref:

impl Rule for NoUnsafeNegation {
    fn from_configuration(value: serde_json::Value) -> Self {
        let enforce_for_ordering_relations = value
            .get(0)
            .and_then(|config| config.get("enforceForOrderingRelations"))
            .and_then(serde_json::Value::as_bool)
            .unwrap_or_default();
        Self { enforce_for_ordering_relations }
    }

    fn run<'a>(&self, node: &AstNode<'a>, ctx: &LintContext<'a>) {
        let AstKind::BinaryExpression(expr) = node.kind() else { return; };
        if self.should_check(expr.operator) {
            let Expression::UnaryExpression(left) = &expr.left else { return; };
            if left.operator == UnaryOperator::LogicalNot {
                Self::report_with_fix(expr, ctx);
            }
        }
    }
}

[Boshen]

Blocked by needing the fallthrough cases computed from the semantic pass.

[Boshen]

CFG will unlikely happen in a short period of time so I'll close this for now to happen the PR list clean, I'll reopen this PR when CFG is ready.

[Boshen]

Instead of closing, I should merge some of this.

[codspeed-hq]

CodSpeed Performance Report

Merging #633 will not alter performance

_{Comparing suica:feat/no-fallthrough (23ed39a) with main (72cf9ec)}

Summary

✅ 22 untouched benchmarks