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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
// This file is part of ICU4X. For terms of use, please see the file
// called LICENSE at the top level of the ICU4X source tree
// (online at: https://github.com/unicode-org/icu4x/blob/main/LICENSE ).
#![allow(unused)]
use std::borrow::Cow;
use yoke::{Yoke, Yokeable};
use zerovec::{maps::ZeroMapKV, ule::AsULE, VarZeroVec, ZeroMap, ZeroVec};
#[derive(Yokeable)]
pub struct StringExample {
x: String,
}
#[derive(Yokeable, Copy, Clone)]
pub struct IntExample {
x: u32,
}
#[derive(Yokeable, Copy, Clone)]
pub struct GenericsExample<T> {
x: u32,
y: T,
}
#[derive(Yokeable, Copy, Clone)]
pub struct GenericsExampleWithDefault<T, U = usize> {
x: T,
y: U,
}
#[derive(Yokeable)]
pub struct CowExample<'a> {
x: u8,
y: &'a str,
z: Cow<'a, str>,
w: Cow<'a, [u8]>,
}
#[derive(Yokeable)]
pub struct ZeroVecExample<'a> {
var: VarZeroVec<'a, str>,
vec: ZeroVec<'a, u16>,
}
#[derive(Yokeable)]
pub struct ZeroVecExampleWithGenerics<'a, T: AsULE> {
gen: ZeroVec<'a, T>,
vec: ZeroVec<'a, u16>,
bare: T,
}
// Since ZeroMap has generic parameters, the Rust compiler cannot
// prove the covariance of the lifetimes. To use derive(Yokeable)
// with a type such as ZeroMap, you just add the attribute
// yoke(prove_covariance_manually)
#[derive(Yokeable)]
#[yoke(prove_covariance_manually)]
pub struct ZeroMapExample<'a> {
map: ZeroMap<'a, str, u16>,
}
#[derive(Yokeable)]
#[yoke(prove_covariance_manually)]
pub struct ZeroMapGenericExample<'a, T: for<'b> ZeroMapKV<'b> + ?Sized> {
map: ZeroMap<'a, str, T>,
}
pub struct AssertYokeable {
string: Yoke<StringExample, Box<[u8]>>,
int: Yoke<IntExample, Box<[u8]>>,
gen1: Yoke<GenericsExample<u32>, Box<[u8]>>,
gen2: Yoke<GenericsExample<String>, Box<[u8]>>,
gen_default1: Yoke<GenericsExampleWithDefault<String>, Box<[u8]>>,
gen_default2: Yoke<GenericsExampleWithDefault<String, u8>, Box<[u8]>>,
cow: Yoke<CowExample<'static>, Box<[u8]>>,
zv: Yoke<ZeroVecExample<'static>, Box<[u8]>>,
zv_gen1: Yoke<ZeroVecExampleWithGenerics<'static, u8>, Box<[u8]>>,
zv_gen2: Yoke<ZeroVecExampleWithGenerics<'static, char>, Box<[u8]>>,
map: Yoke<ZeroMapExample<'static>, Box<[u8]>>,
map_gen1: Yoke<ZeroMapGenericExample<'static, u32>, Box<[u8]>>,
map_gen2: Yoke<ZeroMapGenericExample<'static, str>, Box<[u8]>>,
}
fn main() {}
|
