1test "safety check" {
2    unreachable;
3}
4
5// test_error=reached unreachable code