core::intrinsics::assume

pub unsafe extern "rust-intrinsic" fn assume(b: bool)

Unstable (core_intrinsics)

: intrinsics are unlikely to ever be stabilized, instead they should be used through stabilized interfaces in the rest of the standard library

Informs the optimizer that a condition is always true. If the condition is false, the behavior is undefined.

No code is generated for this intrinsic, but the optimizer will try to preserve it (and its condition) between passes, which may interfere with optimization of surrounding code and reduce performance. It should not be used if the invariant can be discovered by the optimizer on its own, or if it does not enable any significant optimizations.