Constant move_model::pragmas::REQUIRES_IF_ABORTS_PRAGMA
source · pub const REQUIRES_IF_ABORTS_PRAGMA: &str = "requires_if_aborts";
Expand description
Pragma indicating that requires are also enforced if the aborts condition is true.