Skip to content

Commit eb36f5e

Browse files
add miri test via const fn
1 parent d510ba3 commit eb36f5e

File tree

2 files changed

+20
-1
lines changed

2 files changed

+20
-1
lines changed

src/test/mir-opt/issue-101867.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
#![feature(let_else)]
1+
#![cfg_attr(bootstrap, feature(let_else))]
22

33
// EMIT_MIR issue_101867.main.mir_map.0.mir
44
fn main() {

src/test/ui/let-else/const-fn.rs

+19
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
// run-pass
2+
// issue #101932
3+
4+
#![cfg_attr(bootstrap, feature(let_else))]
5+
6+
const fn foo(a: Option<i32>) -> i32 {
7+
let Some(a) = a else {
8+
return 42
9+
};
10+
11+
a + 1
12+
}
13+
14+
fn main() {
15+
const A: i32 = foo(None);
16+
const B: i32 = foo(Some(1));
17+
18+
println!("{} {}", A, B);
19+
}

0 commit comments

Comments
 (0)