vstd::pervasive

Function unreached

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