| // run-pass |
| // Issue #2005: Check that boxed fixed-size arrays are properly |
| // accounted for (namely, only deallocated if they were actually |
| // created) when they appear as temporaries in unused arms of a match |
| // expression. |
| |
| pub fn foo(box_1: fn () -> Box<[i8; 1]>, |
| box_2: fn () -> Box<[i8; 20]>, |
| box_3: fn () -> Box<[i8; 300]>, |
| box_4: fn () -> Box<[i8; 4000]>, |
| ) { |
| println!("Hello World 1"); |
| let _: Box<[i8]> = match 3 { |
| 1 => box_1(), |
| 2 => box_2(), |
| 3 => box_3(), |
| _ => box_4(), |
| }; |
| println!("Hello World 2"); |
| } |
| |
| pub fn main() { |
| fn box_1() -> Box<[i8; 1]> { Box::new( [1] ) } |
| fn box_2() -> Box<[i8; 20]> { Box::new( [1; 20] ) } |
| fn box_3() -> Box<[i8; 300]> { Box::new( [1; 300] ) } |
| fn box_4() -> Box<[i8; 4000]> { Box::new( [1; 4000] ) } |
| |
| foo(box_1, box_2, box_3, box_4); |
| } |