Dont bail in error predicate unless self ty is error in new solver#150453
Open
ChayimFriedman2 wants to merge 1 commit into
Open
Dont bail in error predicate unless self ty is error in new solver#150453ChayimFriedman2 wants to merge 1 commit into
ChayimFriedman2 wants to merge 1 commit into
Commits
Commits on May 9, 2026
- authored andcommitted
