| // run-pass |
| |
| #![allow(dead_code)] |
| #![allow(unused_assignments)] |
| #![allow(unknown_lints)] |
| // pretty-expanded FIXME #23616 |
| |
| #![allow(dead_assignment)] |
| #![allow(unused_variables)] |
| #![feature(box_syntax)] |
| |
| struct A { a: isize, b: isize } |
| struct Abox { a: Box<isize>, b: Box<isize> } |
| |
| fn ret_int_i() -> isize { 10 } |
| |
| fn ret_ext_i() -> Box<isize> { box 10 } |
| |
| fn ret_int_rec() -> A { A {a: 10, b: 10} } |
| |
| fn ret_ext_rec() -> Box<A> { box A {a: 10, b: 10} } |
| |
| fn ret_ext_mem() -> Abox { Abox {a: box 10, b: box 10} } |
| |
| fn ret_ext_ext_mem() -> Box<Abox> { box Abox{a: box 10, b: box 10} } |
| |
| pub fn main() { |
| let mut int_i: isize; |
| let mut ext_i: Box<isize>; |
| let mut int_rec: A; |
| let mut ext_rec: Box<A>; |
| let mut ext_mem: Abox; |
| let mut ext_ext_mem: Box<Abox>; |
| int_i = ret_int_i(); // initializing |
| |
| int_i = ret_int_i(); // non-initializing |
| |
| int_i = ret_int_i(); // non-initializing |
| |
| ext_i = ret_ext_i(); // initializing |
| |
| ext_i = ret_ext_i(); // non-initializing |
| |
| ext_i = ret_ext_i(); // non-initializing |
| |
| int_rec = ret_int_rec(); // initializing |
| |
| int_rec = ret_int_rec(); // non-initializing |
| |
| int_rec = ret_int_rec(); // non-initializing |
| |
| ext_rec = ret_ext_rec(); // initializing |
| |
| ext_rec = ret_ext_rec(); // non-initializing |
| |
| ext_rec = ret_ext_rec(); // non-initializing |
| |
| ext_mem = ret_ext_mem(); // initializing |
| |
| ext_mem = ret_ext_mem(); // non-initializing |
| |
| ext_mem = ret_ext_mem(); // non-initializing |
| |
| ext_ext_mem = ret_ext_ext_mem(); // initializing |
| |
| ext_ext_mem = ret_ext_ext_mem(); // non-initializing |
| |
| ext_ext_mem = ret_ext_ext_mem(); // non-initializing |
| |
| } |