Remove extra cast

lucic71 · lucic71 · commit d5df023540a1 · 2026-05-03T10:22:02.000+01:00
diff --git a/cpp2rust/converter/converter.cpp b/cpp2rust/converter/converter.cpp
@@ -2149,7 +2149,8 @@ bool Converter::VisitUnaryOperator(clang::UnaryOperator *expr) {
     computed_expr_type_ = ComputedExprType::FreshValue;
     break;
   case clang::UO_LNot: {
-    bool needs_int_cast = expr->getType()->isIntegerType();
+    bool needs_int_cast =
+        expr->getType()->isIntegerType() && !expr->getType()->isBooleanType();
     PushParen paren_cast(*this, needs_int_cast);
     StrCat(token::kNot);
     {
diff --git a/tests/benchmarks/out/refcount/bfs.rs b/tests/benchmarks/out/refcount/bfs.rs
@@ -152,7 +152,7 @@ pub fn BFS_0(graph: Ptr<Graph>, start_vertex: u32) -> Ptr<u32> {
         let _elem: i32 = ((*start_vertex.borrow()) as i32);
         (*Q.borrow()).enqueue(_elem)
     });
-    'loop_: while (!({ (*Q.borrow()).empty() }) as bool) {
+    'loop_: while !({ (*Q.borrow()).empty() }) {
         let current_vertex: Value<i32> =
             Rc::new(RefCell::new((({ (*Q.borrow()).dequeue() }) as i32)));
         let head: Value<Ptr<GraphNode>> = Rc::new(RefCell::new(
@@ -165,9 +165,9 @@ pub fn BFS_0(graph: Ptr<Graph>, start_vertex: u32) -> Ptr<u32> {
             let adj_vertex: Value<i32> = Rc::new(RefCell::new(
                 ((*(*(*head.borrow()).upgrade().deref()).vertex.borrow()) as i32),
             ));
-            if (!((*visited.borrow())
+            if !((*visited.borrow())
                 .offset((*adj_vertex.borrow()) as isize)
-                .read()) as bool)
+                .read())
             {
                 (*visited.borrow())
                     .offset((*adj_vertex.borrow()) as isize)
diff --git a/tests/benchmarks/out/unsafe/bfs.rs b/tests/benchmarks/out/unsafe/bfs.rs
@@ -95,12 +95,12 @@ pub unsafe fn BFS_0(graph: *const Graph, mut start_vertex: u32) -> *mut u32 {
         let _elem: i32 = (start_vertex as i32);
         Q.enqueue(_elem)
     });
-    'loop_: while (!(unsafe { Q.empty() }) as bool) {
+    'loop_: while !(unsafe { Q.empty() }) {
         let mut current_vertex: i32 = ((unsafe { Q.dequeue() }) as i32);
         let mut head: *mut GraphNode = (*(*graph).adj.offset((current_vertex) as isize));
         'loop_: while !((head).is_null()) {
             let mut adj_vertex: i32 = ((*head).vertex as i32);
-            if (!(*visited.offset((adj_vertex) as isize)) as bool) {
+            if !(*visited.offset((adj_vertex) as isize)) {
                 (*visited.offset((adj_vertex) as isize)) = true;
                 (unsafe {
                     let _elem: i32 = adj_vertex;
diff --git a/tests/unit/out/refcount/assert.rs b/tests/unit/out/refcount/assert.rs
@@ -10,6 +10,6 @@ pub fn main() {
     std::process::exit(main_0());
 }
 fn main_0() -> i32 {
-    assert!((!(0 != 0) as bool));
+    assert!(!(0 != 0));
     return 1;
 }
diff --git a/tests/unit/out/refcount/bool_condition_enum.rs b/tests/unit/out/refcount/bool_condition_enum.rs
@@ -32,20 +32,18 @@ fn main_0() -> i32 {
     if ((*code.borrow()) != Code::from(0)) {
         assert!(false);
     }
-    if (!((*code.borrow()) != Code::from(0)) as bool) {
+    if !((*code.borrow()) != Code::from(0)) {
         assert!(true);
     }
     if ((*err.borrow()) != Code::from(0)) {
         assert!(true);
     }
-    if (!((*err.borrow()) != Code::from(0)) as bool) {
+    if !((*err.borrow()) != Code::from(0)) {
         assert!(false);
     }
-    let t9: Value<i32> = Rc::new(RefCell::new(
-        ((!((*code.borrow()) != Code::from(0)) as bool) as i32),
-    ));
+    let t9: Value<i32> = Rc::new(RefCell::new((!((*code.borrow()) != Code::from(0)) as i32)));
     assert!(((*t9.borrow()) == 1));
     let b4: Value<bool> = Rc::new(RefCell::new(((*code.borrow()) != Code::from(0)).clone()));
-    assert!((!(*b4.borrow()) as bool));
+    assert!(!(*b4.borrow()));
     return 0;
 }
diff --git a/tests/unit/out/refcount/bool_condition_enum_c.rs b/tests/unit/out/refcount/bool_condition_enum_c.rs
@@ -32,13 +32,13 @@ fn main_0() -> i32 {
     if ((*code.borrow()) != Code::from(0)) {
         assert!((0 != 0));
     }
-    if (!((*code.borrow()) != Code::from(0)) as bool) {
+    if !((*code.borrow()) != Code::from(0)) {
         assert!((1 != 0));
     }
     if ((*err.borrow()) != Code::from(0)) {
         assert!((1 != 0));
     }
-    if (!((*err.borrow()) != Code::from(0)) as bool) {
+    if !((*err.borrow()) != Code::from(0)) {
         assert!((0 != 0));
     }
     let t9: Value<i32> = Rc::new(RefCell::new((!((*code.borrow()) != Code::from(0)) as i32)));
diff --git a/tests/unit/out/refcount/bool_condition_int.rs b/tests/unit/out/refcount/bool_condition_int.rs
@@ -19,13 +19,13 @@ fn main_0() -> i32 {
     if ((*n.borrow()) != 0) {
         assert!(true);
     }
-    if (!((*n.borrow()) != 0) as bool) {
+    if !((*n.borrow()) != 0) {
         assert!(false);
     }
     if ((*zero.borrow()) != 0) {
         assert!(false);
     }
-    if (!((*zero.borrow()) != 0) as bool) {
+    if !((*zero.borrow()) != 0) {
         assert!(true);
     }
     if ((*u.borrow()) != 0) {
@@ -61,9 +61,9 @@ fn main_0() -> i32 {
         200
     }));
     assert!(((*t2.borrow()) == 200));
-    let t7: Value<i32> = Rc::new(RefCell::new(((!((*n.borrow()) != 0) as bool) as i32)));
+    let t7: Value<i32> = Rc::new(RefCell::new((!((*n.borrow()) != 0) as i32)));
     assert!(((*t7.borrow()) == 0));
-    let t8: Value<i32> = Rc::new(RefCell::new(((!((*zero.borrow()) != 0) as bool) as i32)));
+    let t8: Value<i32> = Rc::new(RefCell::new((!((*zero.borrow()) != 0) as i32)));
     assert!(((*t8.borrow()) == 1));
     let b1: Value<bool> = Rc::new(RefCell::new(((*n.borrow()) != 0)));
     assert!((*b1.borrow()));
diff --git a/tests/unit/out/refcount/bool_condition_int_c.rs b/tests/unit/out/refcount/bool_condition_int_c.rs
@@ -19,13 +19,13 @@ fn main_0() -> i32 {
     if ((*n.borrow()) != 0) {
         assert!((1 != 0));
     }
-    if (!((*n.borrow()) != 0) as bool) {
+    if !((*n.borrow()) != 0) {
         assert!((0 != 0));
     }
     if ((*zero.borrow()) != 0) {
         assert!((0 != 0));
     }
-    if (!((*zero.borrow()) != 0) as bool) {
+    if !((*zero.borrow()) != 0) {
         assert!((1 != 0));
     }
     if ((*u.borrow()) != 0) {
diff --git a/tests/unit/out/refcount/bool_condition_ptr.rs b/tests/unit/out/refcount/bool_condition_ptr.rs
@@ -16,13 +16,13 @@ fn main_0() -> i32 {
     if !(*p.borrow()).is_null() {
         assert!(true);
     }
-    if (!(!(*p.borrow()).is_null()) as bool) {
+    if !(!(*p.borrow()).is_null()) {
         assert!(false);
     }
     if !(*np.borrow()).is_null() {
         assert!(false);
     }
-    if (!(!(*np.borrow()).is_null()) as bool) {
+    if !(!(*np.borrow()).is_null()) {
         assert!(true);
     }
     let iter: Value<Ptr<i32>> = Rc::new(RefCell::new((*p.borrow()).clone()));
@@ -36,15 +36,13 @@ fn main_0() -> i32 {
     assert!(((*t3.borrow()) == 1));
     let t4: Value<i32> = Rc::new(RefCell::new(if !(*np.borrow()).is_null() { 1 } else { 0 }));
     assert!(((*t4.borrow()) == 0));
-    let t5: Value<i32> = Rc::new(RefCell::new(((!(!(*p.borrow()).is_null()) as bool) as i32)));
+    let t5: Value<i32> = Rc::new(RefCell::new((!(!(*p.borrow()).is_null()) as i32)));
     assert!(((*t5.borrow()) == 0));
-    let t6: Value<i32> = Rc::new(RefCell::new(
-        ((!(!(*np.borrow()).is_null()) as bool) as i32),
-    ));
+    let t6: Value<i32> = Rc::new(RefCell::new((!(!(*np.borrow()).is_null()) as i32)));
     assert!(((*t6.borrow()) == 1));
     let b2: Value<bool> = Rc::new(RefCell::new((!(*p.borrow()).is_null()).clone()));
     let b3: Value<bool> = Rc::new(RefCell::new((!(*np.borrow()).is_null()).clone()));
     assert!((*b2.borrow()));
-    assert!((!(*b3.borrow()) as bool));
+    assert!(!(*b3.borrow()));
     return 0;
 }
diff --git a/tests/unit/out/refcount/bool_condition_ptr_c.rs b/tests/unit/out/refcount/bool_condition_ptr_c.rs
@@ -16,13 +16,13 @@ fn main_0() -> i32 {
     if !(*p.borrow()).is_null() {
         assert!((1 != 0));
     }
-    if (!(!(*p.borrow()).is_null()) as bool) {
+    if !(!(*p.borrow()).is_null()) {
         assert!((0 != 0));
     }
     if !(*np.borrow()).is_null() {
         assert!((0 != 0));
     }
-    if (!(!(*np.borrow()).is_null()) as bool) {
+    if !(!(*np.borrow()).is_null()) {
         assert!((1 != 0));
     }
     let iter: Value<Ptr<i32>> = Rc::new(RefCell::new((*p.borrow()).clone()));
diff --git a/tests/unit/out/refcount/expr_as_bool_cpp.rs b/tests/unit/out/refcount/expr_as_bool_cpp.rs
@@ -28,11 +28,11 @@ fn main_0() -> i32 {
     if ((*a.borrow()) < (*b.borrow())) {}
     assert!(((*a.borrow()) == (*b.borrow())));
     assert!(
-        (!((({
+        !((({
             (*a.borrow_mut()) = (*b.borrow());
             (*a.borrow())
         }) as i32)
-            != 0) as bool)
+            != 0)
     );
     let c: Value<bool> = <Value<bool>>::default();
     (*c.borrow_mut()) = ({
diff --git a/tests/unit/out/refcount/fn_ptr_as_condition.rs b/tests/unit/out/refcount/fn_ptr_as_condition.rs
@@ -43,7 +43,7 @@ fn main_0() -> i32 {
     });
     assert!(((*b.borrow()) == 5));
     let fn_: Value<FnPtr<fn(Ptr<i32>)>> = Rc::new(RefCell::new(FnPtr::null()));
-    if (!(!(*fn_.borrow()).is_null()) as bool) {
+    if !(!(*fn_.borrow()).is_null()) {
         (*fn_.borrow_mut()) = FnPtr::<fn(Ptr<i32>)>::new(double_it_0);
     }
     let c: Value<i32> = Rc::new(RefCell::new(3));
diff --git a/tests/unit/out/refcount/no_direct_callee.rs b/tests/unit/out/refcount/no_direct_callee.rs
@@ -11,7 +11,7 @@ pub fn test1_0() -> bool {
 }
 pub fn test_1(fn_: FnPtr<fn() -> bool>) -> i32 {
     let fn_: Value<FnPtr<fn() -> bool>> = Rc::new(RefCell::new(fn_));
-    if (!({ (*(*fn_.borrow()))() }) as bool) {
+    if !({ (*(*fn_.borrow()))() }) {
         return 1;
     }
     return 0;
diff --git a/tests/unit/out/refcount/polymorphism.rs b/tests/unit/out/refcount/polymorphism.rs
@@ -58,5 +58,5 @@ fn main_0() -> i32 {
     let eat2: Value<bool> = Rc::new(RefCell::new(
         ({ (*(*animal.borrow()).upgrade().deref()).bark() }),
     ));
-    return (((*eat1.borrow()) && (!(*eat2.borrow()) as bool)) as i32);
+    return (((*eat1.borrow()) && !(*eat2.borrow())) as i32);
 }
diff --git a/tests/unit/out/refcount/switch_stacked_with_inner_fallthrough.rs b/tests/unit/out/refcount/switch_stacked_with_inner_fallthrough.rs
@@ -12,7 +12,7 @@ pub fn stacked_with_inner_fallthrough_0(x: i32, flag: i32) -> i32 {
     let r: Value<i32> = Rc::new(RefCell::new(0));
     switch!(match (*x.borrow()) {
         v if v == 1 || v == 2 || v == 3 => {
-            if (!((*flag.borrow()) != 0) as bool) {
+            if !((*flag.borrow()) != 0) {
                 (*r.borrow_mut()) = 50;
                 break;
             };
diff --git a/tests/unit/out/refcount/vector.rs b/tests/unit/out/refcount/vector.rs
@@ -17,7 +17,7 @@ fn main_0() -> i32 {
     assert!(((*v1.borrow()).len() as u64 == 0_u64));
     assert!((*v1.borrow()).is_empty());
     (*v1.borrow_mut()).push(1);
-    assert!((!((*v1.borrow()).is_empty()) as bool));
+    assert!(!((*v1.borrow()).is_empty()));
     (*v1.borrow_mut()).pop();
     assert!((*v1.borrow()).is_empty());
     let s1: Value<u64> = Rc::new(RefCell::new((*v1.borrow()).len() as u64));
diff --git a/tests/unit/out/unsafe/assert.rs b/tests/unit/out/unsafe/assert.rs
@@ -12,6 +12,6 @@ pub fn main() {
     }
 }
 unsafe fn main_0() -> i32 {
-    assert!((!(0 != 0) as bool));
+    assert!(!(0 != 0));
     return 1;
 }
diff --git a/tests/unit/out/unsafe/bool_condition_enum.rs b/tests/unit/out/unsafe/bool_condition_enum.rs
@@ -34,18 +34,18 @@ unsafe fn main_0() -> i32 {
     if (code != Code::from(0)) {
         assert!(false);
     }
-    if (!(code != Code::from(0)) as bool) {
+    if !(code != Code::from(0)) {
         assert!(true);
     }
     if (err != Code::from(0)) {
         assert!(true);
     }
-    if (!(err != Code::from(0)) as bool) {
+    if !(err != Code::from(0)) {
         assert!(false);
     }
-    let mut t9: i32 = ((!(code != Code::from(0)) as bool) as i32);
+    let mut t9: i32 = (!(code != Code::from(0)) as i32);
     assert!(((t9) == (1)));
     let mut b4: bool = (code != Code::from(0));
-    assert!((!(b4) as bool));
+    assert!(!(b4));
     return 0;
 }
diff --git a/tests/unit/out/unsafe/bool_condition_enum_c.rs b/tests/unit/out/unsafe/bool_condition_enum_c.rs
@@ -34,13 +34,13 @@ unsafe fn main_0() -> i32 {
     if (code != Code::from(0)) {
         assert!((0 != 0));
     }
-    if (!(code != Code::from(0)) as bool) {
+    if !(code != Code::from(0)) {
         assert!((1 != 0));
     }
     if (err != Code::from(0)) {
         assert!((1 != 0));
     }
-    if (!(err != Code::from(0)) as bool) {
+    if !(err != Code::from(0)) {
         assert!((0 != 0));
     }
     let mut t9: i32 = (!(code != Code::from(0)) as i32);
diff --git a/tests/unit/out/unsafe/bool_condition_int.rs b/tests/unit/out/unsafe/bool_condition_int.rs
@@ -21,13 +21,13 @@ unsafe fn main_0() -> i32 {
     if (n != 0) {
         assert!(true);
     }
-    if (!(n != 0) as bool) {
+    if !(n != 0) {
         assert!(false);
     }
     if (zero != 0) {
         assert!(false);
     }
-    if (!(zero != 0) as bool) {
+    if !(zero != 0) {
         assert!(true);
     }
     if (u != 0) {
@@ -59,9 +59,9 @@ unsafe fn main_0() -> i32 {
     assert!(((t) == (100)));
     let mut t2: i32 = if (zero != 0) { 100 } else { 200 };
     assert!(((t2) == (200)));
-    let mut t7: i32 = ((!(n != 0) as bool) as i32);
+    let mut t7: i32 = (!(n != 0) as i32);
     assert!(((t7) == (0)));
-    let mut t8: i32 = ((!(zero != 0) as bool) as i32);
+    let mut t8: i32 = (!(zero != 0) as i32);
     assert!(((t8) == (1)));
     let mut b1: bool = (n != 0);
     assert!(b1);
diff --git a/tests/unit/out/unsafe/bool_condition_int_c.rs b/tests/unit/out/unsafe/bool_condition_int_c.rs
@@ -21,13 +21,13 @@ unsafe fn main_0() -> i32 {
     if (n != 0) {
         assert!((1 != 0));
     }
-    if (!(n != 0) as bool) {
+    if !(n != 0) {
         assert!((0 != 0));
     }
     if (zero != 0) {
         assert!((0 != 0));
     }
-    if (!(zero != 0) as bool) {
+    if !(zero != 0) {
         assert!((1 != 0));
     }
     if (u != 0) {
diff --git a/tests/unit/out/unsafe/bool_condition_ptr.rs b/tests/unit/out/unsafe/bool_condition_ptr.rs
@@ -18,13 +18,13 @@ unsafe fn main_0() -> i32 {
     if !(p).is_null() {
         assert!(true);
     }
-    if (!(!(p).is_null()) as bool) {
+    if !(!(p).is_null()) {
         assert!(false);
     }
     if !(np).is_null() {
         assert!(false);
     }
-    if (!(!(np).is_null()) as bool) {
+    if !(!(np).is_null()) {
         assert!(true);
     }
     let mut iter: *mut i32 = p;
@@ -38,13 +38,13 @@ unsafe fn main_0() -> i32 {
     assert!(((t3) == (1)));
     let mut t4: i32 = if !(np).is_null() { 1 } else { 0 };
     assert!(((t4) == (0)));
-    let mut t5: i32 = ((!(!(p).is_null()) as bool) as i32);
+    let mut t5: i32 = (!(!(p).is_null()) as i32);
     assert!(((t5) == (0)));
-    let mut t6: i32 = ((!(!(np).is_null()) as bool) as i32);
+    let mut t6: i32 = (!(!(np).is_null()) as i32);
     assert!(((t6) == (1)));
     let mut b2: bool = !(p).is_null();
     let mut b3: bool = !(np).is_null();
     assert!(b2);
-    assert!((!(b3) as bool));
+    assert!(!(b3));
     return 0;
 }
diff --git a/tests/unit/out/unsafe/bool_condition_ptr_c.rs b/tests/unit/out/unsafe/bool_condition_ptr_c.rs
@@ -18,13 +18,13 @@ unsafe fn main_0() -> i32 {
     if !(p).is_null() {
         assert!((1 != 0));
     }
-    if (!(!(p).is_null()) as bool) {
+    if !(!(p).is_null()) {
         assert!((0 != 0));
     }
     if !(np).is_null() {
         assert!((0 != 0));
     }
-    if (!(!(np).is_null()) as bool) {
+    if !(!(np).is_null()) {
         assert!((1 != 0));
     }
     let mut iter: *mut i32 = p;
diff --git a/tests/unit/out/unsafe/expr_as_bool_cpp.rs b/tests/unit/out/unsafe/expr_as_bool_cpp.rs
diff --git a/tests/unit/out/unsafe/fn_ptr_as_condition.rs b/tests/unit/out/unsafe/fn_ptr_as_condition.rs
diff --git a/tests/unit/out/unsafe/no_direct_callee.rs b/tests/unit/out/unsafe/no_direct_callee.rs
diff --git a/tests/unit/out/unsafe/polymorphism.rs b/tests/unit/out/unsafe/polymorphism.rs
diff --git a/tests/unit/out/unsafe/switch_stacked_with_inner_fallthrough.rs b/tests/unit/out/unsafe/switch_stacked_with_inner_fallthrough.rs
diff --git a/tests/unit/out/unsafe/vector.rs b/tests/unit/out/unsafe/vector.rs

Original file line number	Diff line number	Diff line change
`@@ -10,6 +10,6 @@ pub fn main() {`
`10`	`10`	`std::process::exit(main_0());`
`11`	`11`	`}`
`12`	`12`	`fn main_0() -> i32 {`
`13`		`- assert!((!(0 != 0) as bool));`
	`13`	`+ assert!(!(0 != 0));`
`14`	`14`	`return 1;`
`15`	`15`	`}`
Original file line number	Diff line number	Diff line change
`@@ -32,20 +32,18 @@ fn main_0() -> i32 {`
`32`	`32`	`if ((*code.borrow()) != Code::from(0)) {`
`33`	`33`	`assert!(false);`
`34`	`34`	`}`
`35`		`- if (!((*code.borrow()) != Code::from(0)) as bool) {`
	`35`	`+ if !((*code.borrow()) != Code::from(0)) {`
`36`	`36`	`assert!(true);`
`37`	`37`	`}`
`38`	`38`	`if ((*err.borrow()) != Code::from(0)) {`
`39`	`39`	`assert!(true);`
`40`	`40`	`}`
`41`		`- if (!((*err.borrow()) != Code::from(0)) as bool) {`
	`41`	`+ if !((*err.borrow()) != Code::from(0)) {`
`42`	`42`	`assert!(false);`
`43`	`43`	`}`
`44`		`- let t9: Value<i32> = Rc::new(RefCell::new(`
`45`		`- ((!((*code.borrow()) != Code::from(0)) as bool) as i32),`
`46`		`- ));`
	`44`	`+ let t9: Value<i32> = Rc::new(RefCell::new((!((*code.borrow()) != Code::from(0)) as i32)));`
`47`	`45`	`assert!(((*t9.borrow()) == 1));`
`48`	`46`	`let b4: Value<bool> = Rc::new(RefCell::new(((*code.borrow()) != Code::from(0)).clone()));`
`49`		`- assert!((!(*b4.borrow()) as bool));`
	`47`	`+ assert!(!(*b4.borrow()));`
`50`	`48`	`return 0;`
`51`	`49`	`}`
Original file line number	Diff line number	Diff line change
`@@ -32,13 +32,13 @@ fn main_0() -> i32 {`
`32`	`32`	`if ((*code.borrow()) != Code::from(0)) {`
`33`	`33`	`assert!((0 != 0));`
`34`	`34`	`}`
`35`		`- if (!((*code.borrow()) != Code::from(0)) as bool) {`
	`35`	`+ if !((*code.borrow()) != Code::from(0)) {`
`36`	`36`	`assert!((1 != 0));`
`37`	`37`	`}`
`38`	`38`	`if ((*err.borrow()) != Code::from(0)) {`
`39`	`39`	`assert!((1 != 0));`
`40`	`40`	`}`
`41`		`- if (!((*err.borrow()) != Code::from(0)) as bool) {`
	`41`	`+ if !((*err.borrow()) != Code::from(0)) {`
`42`	`42`	`assert!((0 != 0));`
`43`	`43`	`}`
`44`	`44`	`let t9: Value<i32> = Rc::new(RefCell::new((!((*code.borrow()) != Code::from(0)) as i32)));`
Original file line number	Diff line number	Diff line change
`@@ -19,13 +19,13 @@ fn main_0() -> i32 {`
`19`	`19`	`if ((*n.borrow()) != 0) {`
`20`	`20`	`assert!(true);`
`21`	`21`	`}`
`22`		`- if (!((*n.borrow()) != 0) as bool) {`
	`22`	`+ if !((*n.borrow()) != 0) {`
`23`	`23`	`assert!(false);`
`24`	`24`	`}`
`25`	`25`	`if ((*zero.borrow()) != 0) {`
`26`	`26`	`assert!(false);`
`27`	`27`	`}`
`28`		`- if (!((*zero.borrow()) != 0) as bool) {`
	`28`	`+ if !((*zero.borrow()) != 0) {`
`29`	`29`	`assert!(true);`
`30`	`30`	`}`
`31`	`31`	`if ((*u.borrow()) != 0) {`
`@@ -61,9 +61,9 @@ fn main_0() -> i32 {`
`61`	`61`	`200`
`62`	`62`	`}));`
`63`	`63`	`assert!(((*t2.borrow()) == 200));`
`64`		`- let t7: Value<i32> = Rc::new(RefCell::new(((!((*n.borrow()) != 0) as bool) as i32)));`
	`64`	`+ let t7: Value<i32> = Rc::new(RefCell::new((!((*n.borrow()) != 0) as i32)));`
`65`	`65`	`assert!(((*t7.borrow()) == 0));`
`66`		`- let t8: Value<i32> = Rc::new(RefCell::new(((!((*zero.borrow()) != 0) as bool) as i32)));`
	`66`	`+ let t8: Value<i32> = Rc::new(RefCell::new((!((*zero.borrow()) != 0) as i32)));`
`67`	`67`	`assert!(((*t8.borrow()) == 1));`
`68`	`68`	`let b1: Value<bool> = Rc::new(RefCell::new(((*n.borrow()) != 0)));`
`69`	`69`	`assert!((*b1.borrow()));`
Original file line number	Diff line number	Diff line change
`@@ -16,13 +16,13 @@ fn main_0() -> i32 {`
`16`	`16`	`if !(*p.borrow()).is_null() {`
`17`	`17`	`assert!((1 != 0));`
`18`	`18`	`}`
`19`		`- if (!(!(*p.borrow()).is_null()) as bool) {`
	`19`	`+ if !(!(*p.borrow()).is_null()) {`
`20`	`20`	`assert!((0 != 0));`
`21`	`21`	`}`
`22`	`22`	`if !(*np.borrow()).is_null() {`
`23`	`23`	`assert!((0 != 0));`
`24`	`24`	`}`
`25`		`- if (!(!(*np.borrow()).is_null()) as bool) {`
	`25`	`+ if !(!(*np.borrow()).is_null()) {`
`26`	`26`	`assert!((1 != 0));`
`27`	`27`	`}`
`28`	`28`	`let iter: Value<Ptr<i32>> = Rc::new(RefCell::new((*p.borrow()).clone()));`