Closed christiaanb closed 7 months ago
So we can create new wanted constraints from them. Before, we would only recognise ~-based constraints. We need to parse Assert-based constraints because it is used to implement <=.
~
Assert
<=
Also, we no longer silently fails when it's unexpected constraint.
So we can create new wanted constraints from them. Before, we would only recognise
~-based constraints. We need to parseAssert-based constraints because it is used to implement<=.Also, we no longer silently fails when it's unexpected constraint.