> diagnose a code path that wasn't ever being run