chore: Release corset version 9.7.10

Consensys · Mar 7, 2024 · 5ced155 · 5ced155
1 parent 8c3e978
commit 5ced155
Show file tree

Hide file tree

Showing 4 changed files with 24 additions and 4 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,16 @@
 
 All notable changes to this project will be documented in this file.
 
+## [9.7.10] - 2024-03-06
+
+### Features
+
+- Add force-bin
+
+### Refactor
+
+- :nowarn -> :force
+
 ## [9.7.9] - 2024-03-06
 
 ### Bug Fixes
@@ -13,6 +23,10 @@ All notable changes to this project will be documented in this file.
 
 - Better error message on erroneous module access
 
+### Miscellaneous Tasks
+
+- Release corset version 9.7.9
+
 ## [9.7.8] - 2024-03-05
 
 ### Bug Fixes

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "corset"
-version = "9.7.9"
+version = "9.7.10"
 edition = "2021"
 rust-version = "1.70.0"
 authors = [ "Franklin Delehelle <[email protected]>" ]

diff --git a/src/compiler/generator.rs b/src/compiler/generator.rs
@@ -1363,7 +1363,13 @@ fn apply_defined(
         let final_type = if let Some(expected_type) = b.out_type {
             if found_type > expected_type {
                 if b.force {
-                    expected_type.with_scale(found_type)
+                    if !expected_type.is_conditioned() {
+                        expected_type
+                            .with_scale(found_type)
+                            .force_with_conditioning_of(&found_type)
+                    } else {
+                        expected_type.with_scale(found_type)
+                    }
                 } else {
                     bail!(
                     "in call to {} with {}: inferred output type {} is incompatible with declared return type {}",
@@ -1374,7 +1380,7 @@ fn apply_defined(
                 )
                 }
             } else {
-                found_type
+                found_type.force_with_conditioning_of(&expected_type)
             }
         } else {
             r.t()