nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-02-21 11:23:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

Uncomment other MyOption test.

Browse Source
This commit is contained in:
Scott Olson 2015-12-28 22:04:34 -06:00
parent fbf49715c9
commit 947c1badd1
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
test/basic.rs
View File

@ -121,6 +121,15 @@ fn match_my_opt_some() -> i32 {
}
}
#[miri_run(expected = "Int(42)")]
fn match_my_opt_none() -> i32 {
let x = MyOption::None;
match x {
MyOption::Some { data } => data,
MyOption::None => 42,
}
}
// #[miri_run(expected = "Int(13)")]
// fn match_opt_some() -> i32 {
// let x = Some(13);
@ -130,15 +139,6 @@ fn match_my_opt_some() -> i32 {
// }
// }
// #[miri_run(expected = "Int(42)")]
// fn match_opt_none() -> i32 {
// let x = MyOption::None;
// match x {
// MyOption::Some { data } => data,
// MyOption::None => 42,
// }
// }
/// Test calling a very simple function from the standard library.
#[miri_run(expected = "Int(1)")]
fn cross_crate_fn_call() -> i32 {