Module ub_checks

🔬This is a nightly-only experimental API. (ub_checks)

Provides the assert_unsafe_precondition macro as well as some utility functions that cover common preconditions.

Macros

assert_unsafe_preconditionExperimental

Checks that the preconditions of an unsafe function are followed.

Functions

check_library_ubExperimental

Returns whether we should perform some UB-checking at runtime. This eventually evaluates to cfg!(ub_checks), but behaves different from cfg! when mixing crates built with different flags: if the crate has UB checks enabled or carries the #[rustc_preserve_ub_checks] attribute, evaluation is delayed until monomorphization (or until the call gets inlined into a crate that does not delay evaluation further); otherwise it can happen any time.