Reports a syntax discrepancy in a documentation comment.