fix(codegen,runtime): a declared `string` is not a proof, so it may not pick the `+` operator - #7842

Merged

proggeramlug merged 1 commit into

mainfrom

fix/7837-declared-string-add-operator

Aug 11, 2026

Commits on Aug 11, 2026

fix(codegen,runtime): a declared `string` is not a proof, so it may not pick the `+` operator
Ralph Küpper
committed
0b30df4