check_static_item: explain should_check_for_sync choices

2025-07-27 15:41:42 +02:00
parent eed187cfce
commit da1991d565
2 changed files with 9 additions and 3 deletions
--- a/compiler/rustc_hir_analysis/src/check/check.rs
+++ b/compiler/rustc_hir_analysis/src/check/check.rs
@@ -768,7 +768,9 @@ pub(crate) fn check_item_type(tcx: TyCtxt<'_>, def_id: LocalDefId) -> Result<(),
                    check_static_inhabited(tcx, def_id);
                    check_static_linkage(tcx, def_id);
                    let ty = tcx.type_of(def_id).instantiate_identity();
-                    res = res.and(wfcheck::check_static_item(tcx, def_id, ty, true));
+                    res = res.and(wfcheck::check_static_item(
+                        tcx, def_id, ty, /* should_check_for_sync */ true,
+                    ));
                }
                DefKind::Const => res = res.and(wfcheck::check_const_item(tcx, def_id)),
                _ => unreachable!(),