Function vstd::pervasive::unreached

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