sin_reversión

Este efecto indica que las lecturas y escrituras de datos mutables de una función no pueden deshacerse, lo que significa que la función no puede invocarse en un contexto de fallo (en cuyo caso se revierte).