slice_range_view uses range_facade