1 #![feature(intrinsics)]
3 #![feature(rustc_attrs)]
8 extern "rust-intrinsic" {
9 // @has 'foo/fn.abort.html'
10 // @has - '//pre[@class="rust fn"]' 'pub extern "rust-intrinsic" fn abort() -> !'
11 #[rustc_safe_intrinsic]
13 // @has 'foo/fn.unreachable.html'
14 // @has - '//pre[@class="rust fn"]' 'pub unsafe extern "rust-intrinsic" fn unreachable() -> !'
15 pub fn unreachable() -> !;
19 // @has 'foo/fn.needs_drop.html'
20 // @has - '//pre[@class="rust fn"]' 'pub unsafe extern "C" fn needs_drop() -> !'
21 pub fn needs_drop() -> !;