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