value-traits 0.2.1

By-value slices and iterators
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

/*
 * SPDX-FileCopyrightText: 2025 Tommaso Fontana
 * SPDX-FileCopyrightText: 2025 Sebastiano Vigna
 * SPDX-FileCopyrightText: 2025 Inria
 *
 * SPDX-License-Identifier: Apache-2.0 OR LGPL-2.1-or-later
 */

#[cfg(feature = "alloc")]
mod alloc_tests {
    use value_traits::slices::*;

    #[test]
    fn test() {
        #[cfg(all(feature = "alloc", not(feature = "std")))]
        extern crate alloc;
        #[cfg(all(feature = "alloc", not(feature = "std")))]
        use alloc::vec;

        let s = vec![1_i32, 2, 3, 4, 5];
        test_bounds(&s);
    }

    // Compile-time check that all ranges can be forced to the same type
    fn test_bounds(s: &impl SliceByValueSubslice) {
        let mut _r = s.index_subslice(0..2);
        _r = s.index_subslice(0..);
        _r = s.index_subslice(..2);
        _r = s.index_subslice(..=2);
        _r = s.index_subslice(0..=2);
        _r = s.index_subslice(..);
    }
}