inline fn __builtin_assume(cond: bool) void

Parameters

cond: bool,