Function unreachable 

pub fn unreachable<T>() -> T

Indicates unreachable code in logic.

This function indicates a logical branch that should be impossible to reach.

(opaque)

requires

false

ensures

false