no-rollback

Cet effet indique que les lectures et écritures de données mutables d'une fonction ne peuvent pas être annulées, ce qui signifie que la fonction ne peut pas être appelée dans un contexte d'échec (qui a un comportement d'annulation en cas d'échec).