CannotFail

The primitive cannot fail. Hence, there is no need for Avail code to run in the event of a primitive failure. Hence, such code is forbidden (because it would be unreachable).