fix-types

Prevent swapped arguments by wrapping bare primitives in newtypes or branded types, giving each semantic domain value a distinct type so the compiler rejects mismatched calls before runtime debugging is needed.

Replace ambiguous booleans with descriptive enums or union types to encode explicit intent, ensuring semantically invalid states become unrepresentable and preventing multiple bool flags from compounding into unclear function signatures.

Enforce checked casts at trust boundaries by applying explicit bounds when converting untrusted wire data into domain types, ensuring discriminants and wire values are documented as part of a stable contract for migrations.

Yes, this static analysis approach audits struct definitions and function interfaces across multi-language codebases including Rust, TypeScript, Python, and Go, implementing newtypes and enums wherever bare primitives carry domain meaning.

Branded types catch semantically invalid values at compile time for free, whereas runtime tests only find bugs after execution when debugging is expensive; defining all possible states upfront prevents invalid data from ever compiling.

Avoid wrapping primitives in newtypes when the value carries no domain meaning or acts as a generic pass-through, as adding distinct types there introduces migration overhead without preventing argument swaps or invalid semantic states.