File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -177,7 +177,7 @@ fn main_0() -> i32 {
177177 assert ! ( ( ( * sd. borrow( ) ) < 0_isize ) ) ;
178178 let l: Value < i64 > = Rc :: new ( RefCell :: new ( 3_i64 ) ) ;
179179 let sm: Value < isize > = Rc :: new ( RefCell :: new (
180- ( ( ( * s2. borrow ( ) ) + ( ( * l. borrow ( ) ) as isize ) ) as isize ) ,
180+ ( ( ( ( * s2. borrow ( ) ) as i64 ) + ( * l. borrow ( ) ) ) as isize ) ,
181181 ) ) ;
182182 assert ! ( ( ( * sm. borrow( ) ) == 15_isize ) ) ;
183183 assert ! ( ( ( * sm. borrow( ) ) > ( ( * l. borrow( ) ) as isize ) ) ) ;
Original file line number Diff line number Diff line change @@ -131,7 +131,7 @@ unsafe fn main_0() -> i32 {
131131 assert ! ( ( ( sd) == ( -7_i32 as isize ) ) ) ;
132132 assert ! ( ( ( sd) < ( 0_isize ) ) ) ;
133133 let mut l: i64 = 3_i64 ;
134- let mut sm: isize = ( ( ( s2) + ( ( l ) as isize ) ) as isize ) ;
134+ let mut sm: isize = ( ( ( ( s2) as i64 ) + ( l ) ) as isize ) ;
135135 assert ! ( ( ( sm) == ( 15_isize ) ) ) ;
136136 assert ! ( ( ( sm) > ( ( l) as isize ) ) ) ;
137137 let mut smin: isize = ( ( {
You can’t perform that action at this time.
0 commit comments