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:22 label: app/main.stav:4:22: 50 is not in 0..=10 label: app/main.stav:1:19: constraint declared here