Please add comment to the effect that the sole purpose of this section of code is to emit a better diagnostic message for some common patterns.