assume

Function assume 

Source
unsafe fn assume(v: bool)