Function assume

Source
unsafe fn assume(v: bool)