alloy::core::hintFunction assume
source pub const unsafe fn assume(cond: bool)
Expand description
A marker intrinsic that tells the compiler that the given condition is
assumed to be true.
§Parameters
cond - The condition to assume.
§Safety
The condition being assumed must always hold true, otherwise this will lead
to undefined behavior.