31 lines
502 B
Rust
31 lines
502 B
Rust
#![feature(custom_attribute)]
|
|
#![allow(dead_code, unused_attributes)]
|
|
|
|
#[miri_run]
|
|
fn return_none() -> Option<i64> {
|
|
None
|
|
}
|
|
|
|
#[miri_run]
|
|
fn return_some() -> Option<i64> {
|
|
Some(42)
|
|
}
|
|
|
|
// #[miri_run]
|
|
// fn match_opt_none() -> i64 {
|
|
// let x = None,
|
|
// match x {
|
|
// Some(data) => data,
|
|
// None => 42,
|
|
// }
|
|
// }
|
|
|
|
// #[miri_run]
|
|
// fn match_opt_some() -> i64 {
|
|
// let x = Some(13);
|
|
// match x {
|
|
// Some(data) => data,
|
|
// None => 42,
|
|
// }
|
|
// }
|