Macro minitt::tce_unreachable

macro_rules! tce_unreachable {
    () => { ... };
}

Records the source code location that the error occurs, just like Agda.Util.Impossible