21 lines
438 B
Rust
21 lines
438 B
Rust
//@ run-pass
|
|
#![allow(unused_mut)]
|
|
fn foo<T>(y: Option<T>) {
|
|
let mut x: isize;
|
|
let mut rs: Vec<isize> = Vec::new();
|
|
/* tests that x doesn't get put in the precondition for the
|
|
entire if expression */
|
|
|
|
if true {
|
|
} else {
|
|
match y {
|
|
None::<T> => x = 17,
|
|
_ => x = 42
|
|
}
|
|
rs.push(x);
|
|
}
|
|
return;
|
|
}
|
|
|
|
pub fn main() { println!("hello"); foo::<isize>(Some::<isize>(5)); }
|