Fix bug in constraint solver caused by lazy evaluation of `Result`#9

Open

H2CO3 wants to merge 1 commit intoSchwenger:mainfrom

Commits on Dec 17, 2022

fix bug: errors from `resolve_asymmetric()` must be returned even if there was a change, so use eager "or" (`|`) instead of short-circuiting "or" (`||`)
Árpád Goretity
committed