@@ -33,7 +33,7 @@ pub fn fill_3(a: Ptr<i32>, v: i32) {
3333 }
3434}
3535pub fn sum_twice_4 ( a : Ptr < i32 > ) -> i32 {
36- return ( ( { sum_2 ( ( ( a) . clone ( ) as Ptr < i32 > ) ) } ) + ( { sum_2 ( ( ( a) . clone ( ) as Ptr < i32 > ) ) } ) ) ;
36+ return ( ( { sum_2 ( ( a) . clone ( ) ) } ) + ( { sum_2 ( ( a) . clone ( ) ) } ) ) ;
3737}
3838pub fn sum_ptr_5 ( p : Ptr < i32 > ) -> i32 {
3939 let p: Value < Ptr < i32 > > = Rc :: new ( RefCell :: new ( p) ) ;
@@ -56,15 +56,15 @@ pub fn bump_decayed_8(a: Ptr<i32>) {
5656pub fn fill_and_sum_9 ( a : Ptr < i32 > , v : i32 , out : Ptr < i32 > ) {
5757 let v: Value < i32 > = Rc :: new ( RefCell :: new ( v) ) ;
5858 ( {
59- let _a: Ptr < i32 > = ( ( a) . clone ( ) as Ptr < i32 > ) ;
59+ let _a: Ptr < i32 > = ( a) . clone ( ) ;
6060 let _v: i32 = ( * v. borrow ( ) ) ;
6161 fill_3 ( _a, _v)
6262 } ) ;
63- let __rhs = ( { sum_twice_4 ( ( ( a) . clone ( ) as Ptr < i32 > ) ) } ) ;
63+ let __rhs = ( { sum_twice_4 ( ( a) . clone ( ) ) } ) ;
6464 out. write ( __rhs) ;
6565}
6666pub fn pick_10 ( s : Ptr < u8 > ) -> Ptr < u8 > {
67- return ( ( s) . clone ( ) as Ptr < u8 > ) ;
67+ return ( s) . clone ( ) ;
6868}
6969#[ derive( Clone , Record , ByteRepr , VaArg , FnPtrArg , Default ) ]
7070#[ byte_size( 8 ) ]
@@ -105,43 +105,40 @@ pub fn main() {
105105fn main_0 ( ) -> i32 {
106106 assert ! ( ( ( { len_0( Ptr :: <u8 >:: from_string_literal( b"beta" ) , ) } ) == 4 ) ) ;
107107 let buf: Value < Box < [ u8 ] > > = Rc :: new ( RefCell :: new ( Box :: from ( * b"abcd\0 " ) ) ) ;
108- assert ! ( ( ( { len_0( ( buf. as_pointer( ) as Ptr < u8 > ) , ) } ) == 4 ) ) ;
108+ assert ! ( ( ( { len_0( buf. as_pointer( ) , ) } ) == 4 ) ) ;
109109 let arr: Value < Box < [ i32 ] > > = Rc :: new ( RefCell :: new ( Box :: new ( [ 1 , 2 , 3 ] ) ) ) ;
110- assert ! ( ( ( { sum_2( ( arr. as_pointer( ) as Ptr < i32 > ) , ) } ) == 6 ) ) ;
111- ( { fill_3 ( ( arr. as_pointer ( ) as Ptr < i32 > ) , 7 ) } ) ;
112- assert ! ( ( ( { sum_2( ( arr. as_pointer( ) as Ptr < i32 > ) , ) } ) == 21 ) ) ;
113- assert ! ( ( ( { sum_twice_4( ( arr. as_pointer( ) as Ptr < i32 > ) , ) } ) == 42 ) ) ;
110+ assert ! ( ( ( { sum_2( arr. as_pointer( ) , ) } ) == 6 ) ) ;
111+ ( { fill_3 ( arr. as_pointer ( ) , 7 ) } ) ;
112+ assert ! ( ( ( { sum_2( arr. as_pointer( ) , ) } ) == 21 ) ) ;
113+ assert ! ( ( ( { sum_twice_4( arr. as_pointer( ) , ) } ) == 42 ) ) ;
114114 let out: Value < i32 > = Rc :: new ( RefCell :: new ( 0 ) ) ;
115- ( { fill_and_sum_9 ( ( arr. as_pointer ( ) as Ptr < i32 > ) , 2 , out. as_pointer ( ) ) } ) ;
115+ ( { fill_and_sum_9 ( arr. as_pointer ( ) , 2 , out. as_pointer ( ) ) } ) ;
116116 assert ! ( ( ( * out. borrow( ) ) == 12 ) ) ;
117117 assert ! ( ( ( * arr. borrow( ) ) [ ( 0 ) as usize ] == 2 ) ) ;
118118 let lit: Ptr < u8 > = Ptr :: < u8 > :: from_string_literal ( b"beta" ) ;
119- assert ! ( ( ( { len_0( ( ( lit) . clone( ) as Ptr < u8 > ) , ) } ) == 4 ) ) ;
119+ assert ! ( ( ( { len_0( ( lit) . clone( ) , ) } ) == 4 ) ) ;
120120 assert ! (
121121 ( ( ( elem!( ( { pick_10( Ptr :: <u8 >:: from_string_literal( b"beta" ) , ) } ) , 0 ) . read( ) ) as i32 )
122122 == ( ( 'b' as u8 ) as i32 ) )
123123 ) ;
124- assert ! ( ( ( { len_0( ( ( { pick_10( ( buf. as_pointer( ) as Ptr < u8 > ) , ) } ) as Ptr < u8 > ) , ) } ) == 4 ) ) ;
124+ assert ! ( ( ( { len_0( ( { pick_10( buf. as_pointer( ) , ) } ) , ) } ) == 4 ) ) ;
125125 let pts: Value < Box < [ Point ] > > = Rc :: new ( RefCell :: new ( Box :: new ( [
126126 Point { x : 1 , y : 2 } ,
127127 Point { x : 3 , y : 4 } ,
128128 ] ) ) ) ;
129- assert ! ( ( ( { sum_points_11( ( pts. as_pointer( ) as Ptr < Point > ) , ) } ) == 10 ) ) ;
130- ( { shift_points_12 ( ( pts. as_pointer ( ) as Ptr < Point > ) , 10 ) } ) ;
129+ assert ! ( ( ( { sum_points_11( pts. as_pointer( ) , ) } ) == 10 ) ) ;
130+ ( { shift_points_12 ( pts. as_pointer ( ) , 10 ) } ) ;
131131 assert ! ( ( { ( * pts. borrow( ) ) [ ( 0 ) as usize ] . x } == 11 ) ) ;
132132 assert ! ( ( { ( * pts. borrow( ) ) [ ( 1 ) as usize ] . y } == 14 ) ) ;
133- assert ! ( ( ( { sum_points_11( ( pts. as_pointer( ) as Ptr <Point >) , ) } ) == 30 ) ) ;
134- assert ! (
135- ( ( { sum_decayed_6( ( arr. as_pointer( ) as Ptr <i32 >) , ) } )
136- == ( { sum_2( ( arr. as_pointer( ) as Ptr <i32 >) , ) } ) )
137- ) ;
138- ( { bump_decayed_8 ( ( arr. as_pointer ( ) as Ptr < i32 > ) ) } ) ;
133+ assert ! ( ( ( { sum_points_11( pts. as_pointer( ) , ) } ) == 30 ) ) ;
134+ assert ! ( ( ( { sum_decayed_6( arr. as_pointer( ) , ) } ) == ( { sum_2( arr. as_pointer( ) , ) } ) ) ) ;
135+ ( { bump_decayed_8 ( arr. as_pointer ( ) ) } ) ;
139136 assert ! ( ( ( * arr. borrow( ) ) [ ( 0 ) as usize ] == 3 ) ) ;
140137 let names: Value < Box < [ Ptr < u8 > ] > > = Rc :: new ( RefCell :: new ( Box :: new ( [
141138 Ptr :: < u8 > :: from_string_literal ( b"ab" ) ,
142139 Ptr :: < u8 > :: from_string_literal ( b"cde" ) ,
143140 ] ) ) ) ;
144- assert ! ( ( ( { total_len_13( ( names. as_pointer( ) as Ptr < Ptr :: < u8 >> ) , ) } ) == 5 ) ) ;
141+ assert ! ( ( ( { total_len_13( names. as_pointer( ) , ) } ) == 5 ) ) ;
145142 return 0 ;
146143}
147144pub fn __cpp2rust_init_globals ( ) { }
0 commit comments