Rollup merge of #152806 - RalfJung:interpret-typo, r=Kivooeo

JonathanBrouwer · web-flow · commit d56ef1609703 · 2026-02-18T18:55:23.000+01:00
interpret: fix comment typo Pointed out in #152756 (review) after that PR already had been rolled up.
diff --git a/compiler/rustc_const_eval/src/interpret/validity.rs b/compiler/rustc_const_eval/src/interpret/validity.rs
@@ -647,8 +647,9 @@ impl<'rt, 'tcx, M: Machine<'tcx>> ValidityVisitor<'rt, 'tcx, M> {
                 }
             } else {
                 // This is not CTFE, so it's Miri with recursive checking.
-                // FIXME: should we also `UnsafeCell` behind shared references? Currently that is not
-                // needed since validation reads bypass Stacked Borrows and data race checks.
+                // FIXME: should we skip `UnsafeCell` behind shared references? Currently that is
+                // not needed since validation reads bypass Stacked Borrows and data race checks,
+                // but is that really coherent?
             }
             let path = &self.path;
             ref_tracking.track(place, || {

Original file line number	Diff line number	Diff line change
`@@ -647,8 +647,9 @@ impl<'rt, 'tcx, M: Machine<'tcx>> ValidityVisitor<'rt, 'tcx, M> {`
`647`	`647`	`}`
`648`	`648`	`} else {`
`649`	`649`	`// This is not CTFE, so it's Miri with recursive checking.`
`650`		- // FIXME: should we also `UnsafeCell` behind shared references? Currently that is not
`651`		`- // needed since validation reads bypass Stacked Borrows and data race checks.`
	`650`	+ // FIXME: should we skip `UnsafeCell` behind shared references? Currently that is
	`651`	`+ // not needed since validation reads bypass Stacked Borrows and data race checks,`
	`652`	`+ // but is that really coherent?`
`652`	`653`	`}`
`653`	`654`	`let path = &self.path;`
`654`	`655`	`ref_tracking.track(place, \|\| {`