Module `ub_checks`

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

Functions

check_library_ub 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.

assert_unsafe_precondition Checks that the preconditions of an unsafe function are followed.