test "basic math" {
    const x = 1;
    const y = 2;
    if (x + y != 3)
        unreachable;
}

fn assert(ok: bool) void {
    if (!ok) unreachable; // assertion failure
}

// This test will fail because we hit unreachable.
test "this will fail" {
    assert(false);
}

// The type of unreachable is noreturn.
test "type of unreachable" {
    // However this assertion will still fail because
    // evaluating unreachable at compile-time is a compile error.
    comptime assert(@TypeOf(unreachable) == noreturn);
}