test "safety check" {
    unreachable;
}

// test_error=reached unreachable code