Function creusot_contracts::util::unreachable

pub fn unreachable<T>() -> T

Indicates unreachable code.

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

logic

requires

false

ensures

false