[fix] fixed casting combined term

MchKosticyn · Aug 31, 2023 · 355db63 · 355db63
1 parent 902ec01
commit 355db63
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/VSharp.SILI.Core/TypeCasting.fs b/VSharp.SILI.Core/TypeCasting.fs
@@ -214,6 +214,8 @@ module internal TypeCasting =
 //            Ptr (HeapLocation addr) typ (makeNumber 0)
         | Struct(_ , t), _ when t = targetType -> term
         | Struct _, _ -> internalfailf $"Casting struct to {targetType}"
+        | Combined(slices, t), _ when isPointer t && isPointer targetType ->
+            combine slices targetType
         | _ -> internalfailf $"Can't cast {term} to type {targetType}"
 
     let canCast state term targetType =