The Rationale is probably misstated. The problem is really that it is difficult
to specify what error gets signalled when -- when the DEFSTRUCT macro gets
expanded? Or when the macro expansion gets executed?
Checking the error is certainly a good idea.