unreached

vstd::pervasive

Function unreached 

Source 
pub exec fn unreached<A>() -> A
Expand description
requires
false,