1
Fork 0

add miri test via const fn

This commit is contained in:
Ding Xiang Fei 2022-09-18 12:18:34 +08:00
parent d510ba3bc3
commit eb36f5ee5b
No known key found for this signature in database
GPG key ID: 3CD748647EEF6359
2 changed files with 20 additions and 1 deletions

View file

@ -1,4 +1,4 @@
#![feature(let_else)] #![cfg_attr(bootstrap, feature(let_else))]
// EMIT_MIR issue_101867.main.mir_map.0.mir // EMIT_MIR issue_101867.main.mir_map.0.mir
fn main() { fn main() {

View file

@ -0,0 +1,19 @@
// run-pass
// issue #101932
#![cfg_attr(bootstrap, feature(let_else))]
const fn foo(a: Option<i32>) -> i32 {
let Some(a) = a else {
return 42
};
a + 1
}
fn main() {
const A: i32 = foo(None);
const B: i32 = foo(Some(1));
println!("{} {}", A, B);
}