File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -93,6 +93,18 @@ fn main_0() -> i32 {
9393 assert ! ( ( ( basic:: i( ru. clone( ) ) . read( ) ) == 1065353216 ) ) ;
9494 assert ! ( ( ( pf. read( ) ) == 1_f32 ) ) ;
9595 assert ! ( ( ( ( * buf. borrow( ) ) [ ( 3 ) as usize ] as i32 ) == 63 ) ) ;
96+ let braced: Value < basic > = Rc :: new ( RefCell :: new ( {
97+ let __u: Value < basic > = Rc :: new ( RefCell :: new ( <basic >:: default ( ) ) ) ;
98+ basic:: i ( __u. as_pointer ( ) ) . write ( 5 ) ;
99+ Rc :: try_unwrap ( __u) . ok ( ) . unwrap ( ) . into_inner ( )
100+ } ) ) ;
101+ assert ! ( ( ( basic:: i( braced. as_pointer( ) ) . read( ) ) == 5 ) ) ;
102+ let copied: Value < basic > = Rc :: new ( RefCell :: new ( {
103+ let __u: Value < basic > = Rc :: new ( RefCell :: new ( <basic >:: default ( ) ) ) ;
104+ basic:: i ( __u. as_pointer ( ) ) . write ( 7 ) ;
105+ Rc :: try_unwrap ( __u) . ok ( ) . unwrap ( ) . into_inner ( )
106+ } ) ) ;
107+ assert ! ( ( ( basic:: i( copied. as_pointer( ) ) . read( ) ) == 7 ) ) ;
96108 {
97109 let anon_0: Value < anon_0 > = Rc :: new ( RefCell :: new ( <anon_0 >:: default ( ) ) ) ;
98110 anon_0:: ai ( anon_0. as_pointer ( ) ) . write ( 11 ) ;
Original file line number Diff line number Diff line change @@ -69,6 +69,10 @@ unsafe fn main_0() -> i32 {
6969 assert ! ( ( ( ( * ru) . i) == ( 1065353216 ) ) ) ;
7070 assert ! ( ( ( * pf) == ( 1_f32 ) ) ) ;
7171 assert ! ( ( ( buf[ ( 3 ) as usize ] as i32 ) == ( 63 ) ) ) ;
72+ let mut braced: basic = basic { i : 5 } ;
73+ assert ! ( ( ( braced. i) == ( 5 ) ) ) ;
74+ let mut copied: basic = basic { i : 7 } ;
75+ assert ! ( ( ( copied. i) == ( 7 ) ) ) ;
7276 {
7377 let mut anon_0: anon_0 = <anon_0 >:: default ( ) ;
7478 anon_0. ai = 11 ;
You can’t perform that action at this time.
0 commit comments