rust/tests/ui/range/range_traits-5.rs