A drop-in replacement for the standard library's assert! macro that emits far less code in the hot function where the assertion holds. This reduces instruction cache pressure, and may allow for more optimizations by the compiler due to more aggressive inlining of hot functions.

fast_assert! only adds two extra instructions to the hot path for the default error message. For a custom error message that prints more variables, it only adds one jump instruction plus one instruction per printed variable. The standard library's assert! adds five instructions to the hot path for the default error message and lots for a custom error message.

We defer all the work that needs to be done in case of a panic, such as formatting the arguments, to separate functions annotated with #[cold]. That way the function that calls fast_assert! can stay as lean as possible.

By comparison, the std assert! emits some of the code executed only in case of a panic inside the function that invokes it. Even if that code isn't executed, you still pay a (small) price for it being present inside your hot function.

The standard library's assert! is implemented not as a macro, but as a compiler built-in, which makes it difficult to modify and contribute to.

We use a closure to defer all argument formatting to a separate cold function. This works identically to std assert! the vast majority of the time, but there might be some edge cases in which it would break, so such a change might not be acceptable for the standard library, at least outside a new language edition. Or maybe it's fine - who knows?

Please take this as an invitation to improve the std assert! and make this crate obsolete!