pub(crate) fn unreachable_label( ctx: &DiagnosticsContext<'_, '_>, d: &UnreachableLabel, ) -> Diagnostic