Summarizing the effects of this: if the method returns a value which evaluates to false, then the error is guaranteed to not be nil, but, critically, the reverse is not true.

It occurs to me that specific examples could be fairly ephemeral and would tend one to say “well I’m not using one of the methods in that list so I’m fine” which is by no means true.