[rustc.git] / src / test / ui / unsafe / unsafe-unstable-const-fn.rs

// revisions: mir thir
// [thir]compile-flags: -Z thir-unsafeck

#![stable(feature = "foo", since = "1.33.0")]
#![feature(staged_api)]

#[stable(feature = "foo", since = "1.33.0")]
#[rustc_const_unstable(feature = "const_foo", issue = "none")]
const fn unstable(a: *const i32, b: i32) -> bool {
    *a == b
    //~^ dereference of raw pointer is unsafe
}

fn main() {}
Commit	Line	Data
17df50a5 XL	1	// revisions: mir thir
	2	// [thir]compile-flags: -Z thir-unsafeck
	3
f9f354fc XL	4	#![stable(feature = "foo", since = "1.33.0")]
f9f354fc XL	5	#![feature(staged_api)]
f9f354fc XL	6
	7	#[stable(feature = "foo", since = "1.33.0")]
	8	#[rustc_const_unstable(feature = "const_foo", issue = "none")]
f035d41b XL	9	const fn unstable(a: *const i32, b: i32) -> bool {
	10	*a == b
	11	//~^ dereference of raw pointer is unsafe
f9f354fc XL	12	}
	13
	14	fn main() {}