diff options
Diffstat (limited to '')
-rw-r--r-- | tests/ui/consts/miri_unleashed/drop.rs (renamed from src/test/ui/consts/miri_unleashed/drop.rs) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/test/ui/consts/miri_unleashed/drop.rs b/tests/ui/consts/miri_unleashed/drop.rs index 3942e7ef7..3942e7ef7 100644 --- a/src/test/ui/consts/miri_unleashed/drop.rs +++ b/tests/ui/consts/miri_unleashed/drop.rs |