0005617: Failure in diagnostics (cherry picked from commit e81ddb6)