@@ -8,7 +8,7 @@ use std::os::fd::AsFd;
88use std:: rc:: { Rc , Weak } ;
99pub fn unused_param_0 ( x : i32 ) {
1010 let x: Value < i32 > = Rc :: new ( RefCell :: new ( x) ) ;
11- let _ = ( * x. borrow_mut ( ) ) . clone ( ) ;
11+ ( * x. borrow_mut ( ) ) ;
1212}
1313thread_local ! (
1414 pub static side_effect_counter: Value <i32 > = Rc :: new( RefCell :: new( 0 ) ) ;
@@ -39,64 +39,58 @@ fn main_0() -> i32 {
3939 unused_param_0 ( _x)
4040 } ) ;
4141 let y: Value < i32 > = Rc :: new ( RefCell :: new ( 5 ) ) ;
42- let _ = ( * y. borrow_mut ( ) ) . clone ( ) ;
42+ ( * y. borrow_mut ( ) ) ;
4343 let z: Value < i32 > = Rc :: new ( RefCell :: new ( {
44- let _ = ( * y. borrow_mut ( ) ) . clone ( ) ;
44+ ( * y. borrow_mut ( ) ) ;
4545 7
4646 } ) ) ;
4747 assert ! ( ( ( * z. borrow( ) ) == 7 ) ) ;
4848 let counter: Value < i32 > = Rc :: new ( RefCell :: new ( 0 ) ) ;
4949 let w: Value < i32 > = Rc :: new ( RefCell :: new ( {
50- let _ = ( * counter. borrow_mut ( ) ) . clone ( ) ;
50+ ( * counter. borrow_mut ( ) ) ;
5151 ( * counter. borrow_mut ( ) ) = 3 ;
5252 ( * counter. borrow ( ) )
5353 } ) ) ;
5454 assert ! ( ( ( * w. borrow( ) ) == 3 ) ) ;
5555 assert ! ( ( ( * counter. borrow( ) ) == 3 ) ) ;
56- let _ = ( { bump_and_return_1 ( ) } ) ;
56+ ( { bump_and_return_1 ( ) } ) ;
5757 assert ! ( ( ( * side_effect_counter. with( Value :: clone) . borrow( ) ) == 1 ) ) ;
5858 let v: Value < i32 > = Rc :: new ( RefCell :: new ( {
59- let _ = ( { bump_and_return_1 ( ) } ) ;
59+ ( { bump_and_return_1 ( ) } ) ;
6060 99
6161 } ) ) ;
6262 assert ! ( ( ( * side_effect_counter. with( Value :: clone) . borrow( ) ) == 2 ) ) ;
6363 assert ! ( ( ( * v. borrow( ) ) == 99 ) ) ;
64- let _ = 0 ;
65- let _ = ( 0 ) ;
66- let _ = ( * y. borrow_mut ( ) ) . clone ( ) ;
67- {
68- let _ = 0 ;
69- } ;
70- {
71- let _ = ( * y. borrow_mut ( ) ) . clone ( ) ;
72- } ;
64+ 0 ;
65+ ( 0 ) ;
66+ ( * y. borrow_mut ( ) ) ;
67+ ( 0 ) ;
68+ ( * y. borrow_mut ( ) ) ;
7369 let err: Value < i32 > = Rc :: new ( RefCell :: new ( 0 ) ) ;
74- {
75- let _ = ( ( * err. borrow_mut ( ) ) = 42 ) . clone ( ) ;
76- } ;
70+ ( ( * err. borrow_mut ( ) ) = 42 ) ;
7771 assert ! ( ( ( * err. borrow( ) ) == 42 ) ) ;
7872 let chosen: Value < i32 > = Rc :: new ( RefCell :: new ( {
79- let _ = ( ( * err. borrow_mut ( ) ) = 7 ) . clone ( ) ;
73+ ( ( * err. borrow_mut ( ) ) = 7 ) ;
8074 123
8175 } ) ) ;
8276 assert ! ( ( ( * err. borrow( ) ) == 7 ) ) ;
8377 assert ! ( ( ( * chosen. borrow( ) ) == 123 ) ) ;
84- let _ = bump_and_return_1. clone ( ) ;
78+ bump_and_return_1;
8579 assert ! ( ( ( * side_effect_counter. with( Value :: clone) . borrow( ) ) == 2 ) ) ;
86- let _ = ( FnPtr :: < fn ( ) -> i32 > :: new ( bump_and_return_1) ) ;
80+ ( FnPtr :: < fn ( ) -> i32 > :: new ( bump_and_return_1) ) ;
8781 assert ! ( ( ( * side_effect_counter. with( Value :: clone) . borrow( ) ) == 2 ) ) ;
88- let _ = ( ( FnPtr :: < fn ( ) -> i32 > :: new ( bump_and_return_1) ) . cast :: < fn ( ) -> i32 > ( None ) ) ;
82+ ( ( FnPtr :: < fn ( ) -> i32 > :: new ( bump_and_return_1) ) . cast :: < fn ( ) -> i32 > ( None ) ) ;
8983 assert ! ( ( ( * side_effect_counter. with( Value :: clone) . borrow( ) ) == 2 ) ) ;
9084 let storage: Value < i32 > = Rc :: new ( RefCell :: new ( 11 ) ) ;
9185 let p: Value < Ptr < i32 > > = Rc :: new ( RefCell :: new ( ( storage. as_pointer ( ) ) ) ) ;
92- let _ = ( ( * p. borrow ( ) ) . read ( ) ) . clone ( ) ;
86+ ( ( * p. borrow ( ) ) . read ( ) ) ;
9387 let arr: Value < Box < [ i32 ] > > = Rc :: new ( RefCell :: new ( Box :: new ( [ 1 , 2 , 3 ] ) ) ) ;
94- let _ = ( ( * arr. borrow_mut ( ) ) [ ( 1 ) as usize ] ) . clone ( ) ;
88+ ( ( * arr. borrow_mut ( ) ) [ ( 1 ) as usize ] ) ;
9589 let h: Value < Holder > = Rc :: new ( RefCell :: new ( Holder {
9690 field : Rc :: new ( RefCell :: new ( 17 ) ) ,
9791 } ) ) ;
98- let _ = ( * ( * h. borrow ( ) ) . field . borrow_mut ( ) ) . clone ( ) ;
92+ ( * ( * h. borrow ( ) ) . field . borrow_mut ( ) ) ;
9993 let hp: Value < Ptr < Holder > > = Rc :: new ( RefCell :: new ( ( h. as_pointer ( ) ) ) ) ;
100- let _ = ( * ( * ( * hp. borrow ( ) ) . upgrade ( ) . deref ( ) ) . field . borrow_mut ( ) ) . clone ( ) ;
94+ ( * ( * ( * hp. borrow ( ) ) . upgrade ( ) . deref ( ) ) . field . borrow_mut ( ) ) ;
10195 return 0 ;
10296}
0 commit comments