Skip to content

Commit 2f28d59

Browse files
committed
Add a passing test for const unsafe_unreachable
1 parent 4fefa2c commit 2f28d59

File tree

1 file changed

+17
-0
lines changed

1 file changed

+17
-0
lines changed
Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
// run-pass
2+
3+
#![feature(const_fn)]
4+
#![feature(const_unreachable_unchecked)]
5+
6+
const unsafe fn foo(x: bool) -> bool {
7+
match x {
8+
true => true,
9+
false => std::hint::unreachable_unchecked(),
10+
}
11+
}
12+
13+
const BAR: bool = unsafe { foo(true) };
14+
15+
fn main() {
16+
assert_eq!(BAR, true);
17+
}

0 commit comments

Comments
 (0)