From ca18ed8f64daa12138352541f7d8ccfc593b2970 Mon Sep 17 00:00:00 2001 From: Tim Chevalier Date: Thu, 9 May 2013 12:15:44 -0700 Subject: [PATCH] testsuite: Test that init and forget are both unsafe --- src/test/compile-fail/forget-init-unsafe.rs | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 src/test/compile-fail/forget-init-unsafe.rs diff --git a/src/test/compile-fail/forget-init-unsafe.rs b/src/test/compile-fail/forget-init-unsafe.rs new file mode 100644 index 000000000000..2361b5ad6a9c --- /dev/null +++ b/src/test/compile-fail/forget-init-unsafe.rs @@ -0,0 +1,17 @@ +// Copyright 2013 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +use core::unstable::intrinsics::{init, forget}; + +// Test that the `forget` and `init` intrinsics are really unsafe +pub fn main() { + let stuff = init::(); //~ ERROR access to unsafe function requires unsafe + forget(stuff); //~ ERROR access to unsafe function requires unsafe +} \ No newline at end of file