---
source: tests/solver.rs
expression: error
---
cancelled!