remove commented-out test leftover

2025-05-08 16:14:13 +02:00 · 2025-05-08 16:14:13 +02:00 · 8930c41034
commit 8930c41034
parent c70dc4554c
1 changed files with 0 additions and 1 deletions
--- a/src/tools/miri/tests/pass/both_borrows/basic_aliasing_model.rs
+++ b/src/tools/miri/tests/pass/both_borrows/basic_aliasing_model.rs
@ -12,7 +12,6 @@ fn main() {
    mut_raw_mut();
    partially_invalidate_mut();
    drop_after_sharing();
-    // direct_mut_to_const_raw();
    two_raw();
    shr_and_raw();
    disjoint_mutable_subborrows();