Module write_after_write 

Re-exports

use super::WriteAfterWrite; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

use crate::sol::analysis::loop_update; 🔒

use solar::interface::Span; 🔒

use solar::sema::Gcx; 🔒

use solar::sema::hir::BinOpKind; 🔒

use solar::sema::hir::Block; 🔒

use solar::sema::hir::CallArgs; 🔒

use solar::sema::hir::CallOptions; 🔒

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

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

use solar::sema::hir::Function; 🔒

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

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

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

use std::collections::HashMap; 🔒

Structs

Analyzer 🔒

Tracks state variable writes that no later read has observed yet; a second write to such a variable makes the pending one redundant.

Statics

WRITE_AFTER_WRITE