Implement unit tests for the diagnostic described in #1.
Implement unit tests for the diagnostic described in #1.