no-rollback

This effect indicates that a function's mutable data reads and writes cannot be undone, meaning the function cannot be invoked in a failure context (which has rollback behavior in the event of failure).