static_assertions

crates.iosite

Compile-time assertions to ensure that invariants are met

from

Rust

added

2026-10-10

likes

0

similar

1. ▲

   speculate crates.io

   An RSpec inspired minimal testing framework

   site link ↗
   
2. ▲

   rstest crates.io

   Fixture-based test framework

   site link ↗
   
3. ▲

   sqlite crates.io

   ]

   site link ↗
   
4. ▲

   GoogleTest Rust crates.io

   Powerful test assertion framework based on the C++ test library GoogleTest

   site topic programming link ↗
   
5. ▲

   libassert github.com

   The most over-engineered C++ assertion library. [MIT]

   tool link ↗
   
6. ▲

   lambda-rust gitlab.mpi-sws.org

   Formal model of a Rust core language and type system, a logical relation for the type system, and safety proofs for some Rust libraries.

   site topic programmingtopic math link ↗
   

Rust › Development tools > Static analysis: “Compile-time assertions to ensure that invariants are met”