use super::BooleanCst;
use crate::linter::EarlyLintPass;
use crate::linter::LintContext;
use crate::sol::Severity;
use crate::sol::SolLint;
use crate::sol::analysis::ast_bool_literal;
use solar::ast::BinOpKind;
use solar::ast::Expr;
use solar::ast::ExprKind;
use solar::ast::Stmt;
use solar::ast::StmtKind;
use solar::ast::VariableDefinition;
expr
allow_bare