tvm_tirx.tirx.assume_always#

tvm_tirx.tirx.assume_always(predicate, *, ty=None, loc=UNKNOWN_LOC)#

Guarantee a predicate throughout its containing scope, including mutations.

This void annotation performs no runtime check. Constraint traversal records the predicate as written with assume_always=True, even when it reads state. The caller must ensure the guarantee remains valid across mutations.