Skip to content

fix(composition): Don't skip optional args in witness operations for satisfiability errors - #8847

Merged
dariuszkuc merged 1 commit into
devfrom
sachin/dont-skip-optional-args-in-satisfiability-witness-ops
Jan 30, 2026
Merged

fix(composition): Don't skip optional args in witness operations for satisfiability errors#8847
dariuszkuc merged 1 commit into
devfrom
sachin/dont-skip-optional-args-in-satisfiability-witness-ops

To match the JS error messaging, don't omit optional arguments in sat…

db9b2d0
Select commit
Loading
Failed to load commit list.
Apollo Librarian / AI Style Review completed Jan 30, 2026 in 1s

No Changes Detected

No changes were detected in the pull request.

Duration: 759ms
PR URL: #8847
Review Log: View detailed log

⚠️ This review is AI-generated. Please use common sense when accepting these suggestions, as they may not always be accurate or appropriate for your specific context.