Crate mirai_annotations

Macros

assume	Equivalent to a no op when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to assume the condition unless it can prove it to be false.
checked_assume	Equivalent to the standard assert! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to assume the condition unless it can prove it to be false.
checked_assume_eq	Equivalent to the standard assert_eq! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to assume the condition unless it can prove it to be false.
checked_assume_ne	Equivalent to the standard assert_ne! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to assume the condition unless it can prove it to be false.
checked_precondition	Equivalent to the standard assert! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to assume the condition at the point where it appears in a function, but to also add it a precondition that must be verified by the caller of the function.
checked_precondition_eq	Equivalent to the standard assert_eq! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to assume the condition at the point where it appears in a function, but to also add it a precondition that must be verified by the caller of the function.
checked_precondition_ne	Equivalent to the standard assert_ne! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to assume the condition at the point where it appears in a function, but to also add it a precondition that must be verified by the caller of the function.
checked_verify	Equivalent to the standard debug_assert! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to check the condition and emit a diagnostic unless it can prove it to be true.
checked_verify_eq	Equivalent to the standard assert_eq! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to check the condition and emit a diagnostic unless it can prove it to be true.
checked_verify_ne	Equivalent to the standard assert_eq! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to check the condition and emit a diagnostic unless it can prove it to be true.
debug_checked_assume	Equivalent to the standard debug_assert! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to assume the condition unless it can prove it to be false.
debug_checked_assume_eq	Equivalent to the standard debug_assert_eq! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to assume the condition unless it can prove it to be false.
debug_checked_assume_ne	Equivalent to the standard debug_assert_ne! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to assume the condition unless it can prove it to be false.
debug_checked_precondition	Equivalent to the standard debug_assert! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to assume the condition at the point where it appears in a function, but to also add it a precondition that must be verified by the caller of the function.
debug_checked_precondition_eq	Equivalent to the standard debug_assert_eq! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to assume the condition at the point where it appears in a function, but to also add it a precondition that must be verified by the caller of the function.
debug_checked_precondition_ne	Equivalent to the standard debug_assert_ne! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to assume the condition at the point where it appears in a function, but to also add it a precondition that must be verified by the caller of the function.
debug_checked_verify_eq	Equivalent to the standard debug_assert_eq! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to check the condition and emit a diagnostic unless it can prove it to be true.
debug_checked_verify_ne	Equivalent to the standard debug_assert_ne! when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to check the condition and emit a diagnostic unless it can prove it to be true.
precondition	Equivalent to a no op when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to assume the condition at the point where it appears in a function, but to also add it a precondition that must be verified by the caller of the function.
verify	Equivalent to a no op when used with an unmodified Rust compiler. When compiled with MIRAI, this causes the compiler to check the condition and emit a diagnostic unless it can prove it to be true.

Functions

mirai_assume
mirai_precondition
mirai_verify