pub(crate) fn check_dirty_clean_annotations(tcx: TyCtxt<'_>)