Function or_fail 

pub fn or_fail<Q: HasOr>() -> impl Mod<Q>

OR FAIL — stop at the offending row, keeping the changes made before it.