Function assume 

pub unsafe fn assume(p: bool)

Allow the compiler to assume that the given predicate p is always true.

Safety

Callers must ensure that p is true. If this is not the case, the behavior is undefined.