/tests/ui/half-open-range-patterns/