In the note it is explained why it's fine to discard a can_fail primop, but the table erroneously says it's not fine.