never type

sub/core/src/lib.rs

@@ -1,4 +1,6 @@
-#![no_std] #![feature(decl_macro)] #![allow(unused)]
+#![no_std] #![feature(decl_macro)]
+#![feature(inherent_associated_types)]
+#![allow(unused, incomplete_features)]
 
 
 //
@@ -22,6 +24,7 @@ pub mod fnv1;
 pub mod pstruct;
 pub mod align;
 
+pub mod never;
 //
 // Export Preludes:
 //
@@ -53,6 +56,7 @@ pub mod prelude {
     pub use crate::pstruct::struct_offset;
     pub use crate::pod::{Pod,Mut};
     pub use crate::align::Align;
+    pub use crate::never::Never;
 }
 
 pub mod public {

sub/core/src/never.rs

@@ -0,0 +1,9 @@
+
+pub type Never = <fn()->! as Ret>::Ret;
+
+trait Ret { type Ret; }
+impl<R> Ret for fn() -> R {
+    type Ret=R;
+}
+
+