More test fixes - to review

Author: liorgold2

crates/cairo-lang-lowering/src/borrow_check/test_data/borrow_check

@@ -995,20 +995,41 @@ End:
 
 blk1:
 Statements:
-  (v2: ()) <- test::foo(v1{`x`})
+  (v2: core::option::Option::<test::NonDrop>) <- Option::Some(v1{`maybe_consume(x)`})
 End:
-  Goto(blk3, {v2 -> v3})
+  Goto(blk3, {v2 -> v5})
 
 blk2:
 Statements:
-  (v4: ()) <- struct_construct()
+  (v3: ()) <- struct_construct()
+  (v4: core::option::Option::<test::NonDrop>) <- Option::None(v3{`maybe_consume(x)`})
 End:
-  Goto(blk3, {v4 -> v3})
+  Goto(blk3, {v4 -> v5})
 
 blk3:
 Statements:
 End:
-  Return(v3)
+  Match(match_enum(v5{`maybe_consume(x)`}) {
+    Option::Some(v6) => blk4,
+    Option::None(v7) => blk5,
+  })
+
+blk4:
+Statements:
+  (v8: ()) <- test::foo(v6{`x`})
+End:
+  Goto(blk6, {v8 -> v9})
+
+blk5:
+Statements:
+  (v10: ()) <- struct_construct()
+End:
+  Goto(blk6, {v10 -> v9})
+
+blk6:
+Statements:
+End:
+  Return(v9)
 
 //! > lowering_diagnostics
 error: Variable not dropped.

crates/cairo-lang-lowering/src/test_data/if

@@ -751,13 +751,25 @@ struct MyStruct {
 //! > semantic_diagnostics
 
 //! > lowering_diagnostics
-error: Unsupported type in if-let. Type: `test::MyStruct`.
- --> lib.cairo:7:16
-    if let _ = a {
-               ^
+warning: Unreachable clause.
+ --> lib.cairo:10:12-12:5
+      } else {
+ ____________^
+|         y = y + 8;
+|     }
+|_____^
 
 //! > lowering_flat
-<Failed lowering function - run with RUST_LOG=warn (or less) to see diagnostics>
+Parameters: v0: test::MyStruct
+blk0 (root):
+Statements:
+  (v1: core::felt252) <- 0
+  (v2: core::felt252) <- 5
+  (v3: core::felt252) <- core::felt252_add(v1, v2)
+  (v4: core::felt252) <- 1
+  (v5: core::felt252) <- core::felt252_add(v3, v4)
+End:
+  Return(v5)
 
 //! > ==========================================================================