Module type_analysis 

Type-aware filtering for operator mutations.

This module records replacements that are type-invalid. It deliberately does not filter replacements merely because they return the same value for every input: different operators can still compile to gas-distinct bytecode.

Re-exports

use std::collections::HashMap; 🔒

use std::collections::HashSet; 🔒

use std::ops::ControlFlow; 🔒

use std::path::Path; 🔒

use std::path::PathBuf; 🔒

use eyre::Result; 🔒

use foundry_cli::opts::configure_pcx_from_compile_output; 🔒

use foundry_compilers::ProjectCompileOutput; 🔒

use foundry_compilers::compilers::multi::MultiCompiler; 🔒

use foundry_config::Config; 🔒

use solar::ast::BinOpKind; 🔒

use solar::ast::LitKind; 🔒

use solar::ast::UnOpKind; 🔒

use solar::interface::Session; 🔒

use solar::interface::source_map::FileName; 🔒

use solar::sema::Compiler; 🔒

use solar::sema::CompilerRef; 🔒

use solar::sema::Gcx; 🔒

use solar::sema::hir; 🔒

use solar::sema::hir::ElementaryType; 🔒

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

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

use solar::sema::ty::TyKind; 🔒

Structs

MutationExclusion

MutationExclusionCollector 🔒

Enums

AssignmentDestinationKind 🔒

AssignmentReplacement

ComparisonOperandKind 🔒

ReplacementOperator 🔒

UnaryOperandKind 🔒

Functions

analyze_and_collect 🔒

assignment_destination_kind 🔒

assignment_value_accepts_negation 🔒

collect_from_gcx 🔒

collect_mutation_exclusions

comparison_operand_kind 🔒

is_non_storage_push_call 🔒

is_type_invalid_replacement 🔒

normalize_path

unary_operand_kind 🔒

Type Aliases

MutationExclusionSet

MutationExclusionsByPath