Some comment nits

Author: oli-obk

compiler/rustc_const_eval/src/interpret/validity.rs

@@ -476,6 +476,9 @@ impl<'rt, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> ValidityVisitor<'rt, 'mir, '
                                 // and that static refers back to us (potentially through a promoted).
                                 // This could miss some UB, but that's fine.
                                 // We still walk nested allocations, as they are fundamentally part of this validation run.
+                                // This means we will also recurse into nested statics of *other*
+                                // statics, even though we do not recurse into other statics directly.
+                                // That's somewhat inconsistent but harmless.
                                 skip_recursive_check = !nested;
                             }
                             Some(CtfeValidationMode::Const { .. }) => {
@@ -710,8 +713,6 @@ impl<'rt, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> ValidityVisitor<'rt, 'mir, '
         if let Some(mplace) = op.as_mplace_or_imm().left() {
             if let Some(alloc_id) = mplace.ptr().provenance.and_then(|p| p.get_alloc_id()) {
                 let mutability = match self.ecx.tcx.global_alloc(alloc_id) {
-                    // This can only ever be the static currently being evaluated (or one of its nested allocations), as
-                    // we do not walk into other statics. See `check_safe_pointer` for details.
                     GlobalAlloc::Static(did) => {
                         let DefKind::Static { mutability, nested } = self.ecx.tcx.def_kind(did)
                         else {