6968793: issues with diagnosticsSummary: several diagnostic improvementsReviewed-by: jjg
6968063: provide examples of code that generate diagnosticsReviewed-by: mcimadamore