1 2 3 4 5 6 7 8 9
--- source: crates/stav/tests/eval.rs expression: output --- --- errors error[E0803]: value violates a refinement --> app/main.stav:4:12 label: app/main.stav:4:12: 9 is not in 1..=5 label: app/main.stav:1:24: constraint declared here