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
34
35
36
37
38
39
40
41
42
43
44
45
46
|
// Copyright © 2023-2025 Andrea Corbellini and contributors
// SPDX-License-Identifier: BSD-3-Clause
#![allow(clippy::extra_unused_lifetimes)]
/// Tests to verify that certain types offered by the crate are [covariant].
///
/// [covariant]: https://doc.rust-lang.org/nomicon/subtyping.html
use circular_buffer::CircularBuffer;
use circular_buffer::Drain;
use circular_buffer::Iter;
/// Verify that `CircularBuffer<N, T>` is covariant over `T`
#[test]
fn circular_buffer<'a>() {
let buf = CircularBuffer::<1, &'static str>::new();
let _: CircularBuffer<1, &'a str> = buf;
}
/// Verify that `Iter<'_, T>` is covariant over `T`
#[test]
fn iter<'a>() {
let buf = CircularBuffer::<1, &'static str>::new();
let iter: Iter<'_, &'static str> = buf.iter();
let _: Iter<'_, &'a str> = iter;
}
// `IterMut<'a, T>` is invariant over `T` because it holds a mutable reference to the elements of
// the buffer.
//
// TODO Add a test to verify the invariance of `IterMut`
//
//#[test]
//fn iter_mut<'a>() {
// let mut buf = CircularBuffer::<1, &'static str>::new();
// let iter: IterMut<'_, &'static str> = buf.iter_mut();
// let _: IterMut<'_, &'a str> = iter;
//}
/// Verify that `Drain<'_, N, T>` is covariant over `T`
#[test]
fn drain<'a>() {
let mut buf = CircularBuffer::<1, &'static str>::new();
let drain: Drain<'_, 1, &'static str> = buf.drain(..);
let _: Drain<'_, 1, &'a str> = drain;
}
|
