diff options
| author | Ralf Jung <post@ralfj.de> | 2025-05-08 16:14:13 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-05-08 16:14:13 +0200 |
| commit | 8930c41034176644eaede7ecb65f2c31111b9b2e (patch) | |
| tree | 94b9a5101870e8d91bbc26a660db567ada95f7aa | |
| parent | c70dc4554c1866584ad637863750600d6864826d (diff) | |
| download | rust-8930c41034176644eaede7ecb65f2c31111b9b2e.tar.gz rust-8930c41034176644eaede7ecb65f2c31111b9b2e.zip | |
remove commented-out test leftover
| -rw-r--r-- | src/tools/miri/tests/pass/both_borrows/basic_aliasing_model.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/tools/miri/tests/pass/both_borrows/basic_aliasing_model.rs b/src/tools/miri/tests/pass/both_borrows/basic_aliasing_model.rs index c2b6a7e68be..c76e7f2eebd 100644 --- 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(); |