src/test/rustdoc/safe-intrinsic.rs

   1 #![feature(intrinsics)]
   2 #![feature(no_core)]
   3
   4 #![no_core]
   5 #![crate_name = "foo"]
   6
   7 extern "rust-intrinsic" {
   8     // @has 'foo/fn.abort.html'
   9     // @has - '//pre[@class="rust fn"]' 'pub extern "rust-intrinsic" fn abort() -> !'
  10     pub 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() -> !;
  14 }
  15
  16 extern "C" {
  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() -> !;
  20 }