@jungly the function you've noted is indicated to be a private function. Presumably, any necessary guards against parameters passed by an external caller are validated elsewhere. Thus the asserts are sanity checks against programmer error instead of verification of input and they are intended to be optimized out.