Module immutable 

Re-exports

use super::UnchangedStateVariables; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

use crate::sol::analysis::for_each_lhs_var; 🔒

use crate::sol::analysis::is_contract_cast; 🔒

use crate::sol::analysis::loop_stmts; 🔒

use crate::sol::analysis::write_target; 🔒

use solar::ast::ContractKind; 🔒

use solar::ast::ElementaryType; 🔒

use solar::interface::data_structures::Never; 🔒

use solar::interface::kw; 🔒

use solar::interface::sym; 🔒

use solar::sema::Gcx; 🔒

use solar::sema::hir; 🔒

use solar::sema::hir::Expr; 🔒

use solar::sema::hir::ExprKind; 🔒

use solar::sema::hir::ItemId; 🔒

use solar::sema::hir::Stmt; 🔒

use solar::sema::hir::StmtKind; 🔒

use solar::sema::hir::TypeKind; 🔒

use solar::sema::hir::VariableId; 🔒

use solar::sema::hir::Visit as _; 🔒

use std::collections::HashSet; 🔒

use std::ops::ControlFlow; 🔒

Structs

WriteCollector 🔒

Collects every variable at the root of an assigned, deleted or incremented lvalue.

Statics

COULD_BE_CONSTANT

COULD_BE_IMMUTABLE

Functions

has_assembly_or_unknown 🔒

is_compile_time_constant 🔒

is_constant_call 🔒

Type casts (address(0xCAFE), IToken(addr)) and the hashing / modular arithmetic builtins.