| #![feature(intrinsics)] |
| #![feature(no_core, lang_items)] |
| #![feature(rustc_attrs)] |
| |
| #![no_core] |
| #![crate_name = "foo"] |
| |
| #[lang = "pointee_sized"] |
| pub trait PointeeSized {} |
| |
| #[lang = "meta_sized"] |
| pub trait MetaSized: PointeeSized {} |
| |
| #[lang = "sized"] |
| pub trait Sized: MetaSized {} |
| |
| //@ has 'foo/fn.abort.html' |
| //@ has - '//pre[@class="rust item-decl"]' 'pub fn abort() -> !' |
| #[rustc_intrinsic] |
| pub fn abort() -> !; |
| //@ has 'foo/fn.unreachable.html' |
| //@ has - '//pre[@class="rust item-decl"]' 'pub unsafe fn unreachable() -> !' |
| #[rustc_intrinsic] |
| pub unsafe fn unreachable() -> !; |
