1 #![feature(intrinsics)]
7 extern "rust-intrinsic" {
8 // @has 'foo/fn.abort.html'
9 // @has - '//pre[@class="rust fn"]' 'pub extern "rust-intrinsic" fn abort() -> !'
11 // @has 'foo/fn.unreachable.html'
12 // @has - '//pre[@class="rust fn"]' 'pub unsafe extern "rust-intrinsic" fn unreachable() -> !'
13 pub fn unreachable() -> !;
17 // @has 'foo/fn.needs_drop.html'
18 // @has - '//pre[@class="rust fn"]' 'pub unsafe extern "C" fn needs_drop() -> !'
19 pub fn needs_drop() -> !;