// Compile with --allowUnreachableCode false

function assert(expr: unknown): asserts expr {
    if (!expr) {
        throw new Error("Assertion failed");
    }
}

function foo() {
    assert(false);
    console.log("unreachable");  // Unreachable code error
}