Skip to content
Permalink
Browse files

use error-pattern

  • Loading branch information
RalfJung committed Dec 25, 2019
1 parent ffb6aa1 commit 40b8b7c338d2a55a5852fbe2da5b70edfee7dc90
Showing with 2 additions and 2 deletions.
  1. +2 −2 src/test/ui/consts/miri_unleashed/drop.rs
@@ -1,5 +1,6 @@
// compile-flags: -Zunleash-the-miri-inside-of-you
// ignore-x86 FIXME: missing sysroot spans (#53081)
// error-pattern: calling non-const function `<std::vec::Vec<i32> as std::ops::Drop>::drop`
#![deny(const_err)]

use std::mem::ManuallyDrop;
@@ -12,8 +13,7 @@ static TEST_OK: () = {
};

// Make sure we catch executing bad drop functions.
// The actual error is located in `real_drop_in_place` so we can't capture it with the
// error annotations here.
// The actual error is tested by the error-pattern above.
static TEST_BAD: () = {
let _v: Vec<i32> = Vec::new();
//~^ WARN skipping const check

0 comments on commit 40b8b7c

Please sign in to comment.
You can’t perform that action at this time.