epserde 0.13.1

ε-serde is an ε-copy (i.e., almost zero-copy) serialization/deserialization framework
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
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
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161

error[E0277]: type parameter `A` must be deep-copy: it occurs as an element of a vector, boxed slice, or array in an ε-copy field
  --> tests/fail/seq_param_not_deep.rs:12:14
   |
12 |     payload: Vec<A>,
   |              ^^^ if `A` were zero-copy, this field would ε-copy deserialize to a slice reference, a type not expressible in the source
   |
   = note: consider restricting type parameter `A` with trait `DeepCopy` (more targeted)
   = note: alternatively, mark the field with `#[epserde(force_full_copy)]`
   = note: alternatively, pin `A` to full-copy with `#[epserde(full_copy(A))]` on the type, which makes `A` full-copy in every field
note: required by a bound in `__check`
  --> tests/fail/seq_param_not_deep.rs:10:10
   |
10 | #[derive(Epserde)]
   |          ^^^^^^^ required by this bound in `__check`
   = note: this error originates in the derive macro `Epserde` (in Nightly builds, run with -Z macro-backtrace for more info)
help: consider restricting type parameter `A` with trait `DeepCopyInSeq`
   |
11 | struct SeqParam<A: epserde::deser::DeepCopyInSeq> {
   |                  +++++++++++++++++++++++++++++++

error[E0599]: the associated function or constant `IS_ZERO_COPY` exists for struct `Vec<A>`, but its trait bounds were not satisfied
  --> tests/fail/seq_param_not_deep.rs:10:10
   |
10 | #[derive(Epserde)]
   |          ^^^^^^^ associated function or constant cannot be called on `Vec<A>` due to unsatisfied trait bounds
   |
  ::: $RUST/alloc/src/vec/mod.rs
   |
   | pub struct Vec<T, #[unstable(feature = "allocator_api", issue = "32838")] A: Allocator = Global> {
   | ------------------------------------------------------------------------------------------------ doesn't satisfy `Vec<A>: SerHelper<_>` or `Vec<A>: epserde::ser::SerInner`
   |
   = note: the following trait bounds were not satisfied:
           `A: CopyType`
           which is required by `Vec<A>: epserde::ser::SerInner`
           `Vec<A>: SerHelper<_>`
           which is required by `Vec<A>: epserde::ser::SerInner`
           `Vec<A>: epserde::ser::SerInner`
           which is required by `&Vec<A>: epserde::ser::SerInner`
           `Vec<A>: epserde::ser::SerInner`
           which is required by `&mut Vec<A>: epserde::ser::SerInner`
   = note: this error originates in the derive macro `Epserde` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0277]: the trait bound `A: CopyType` is not satisfied
  --> tests/fail/seq_param_not_deep.rs:10:10
   |
10 | #[derive(Epserde)]
   |          ^^^^^^^ the trait `CopyType` is not implemented for `A`
   |
   = note: required for `Vec<A>` to implement `epserde::ser::SerInner`
note: required by a bound in `epserde::ser::WriteWithNames::write`
  --> src/ser/write_with_names.rs
   |
   |     unsafe fn write<V: SerInner>(&mut self, _field_name: &str, value: &V) -> Result<()> {
   |                        ^^^^^^^^ required by this bound in `WriteWithNames::write`
   = note: this error originates in the derive macro `Epserde` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0277]: the trait bound `Vec<A>: epserde::ser::SerInner` is not satisfied
  --> tests/fail/seq_param_not_deep.rs:10:10
   |
10 | #[derive(Epserde)]
   |          ^^^^^^^ the trait `SerHelper<_>` is not implemented for `Vec<A>`
   |
help: `Vec<T>` implements trait `SerHelper<T>`
  --> src/impls/vec.rs
   |
   | impl<T: ZeroCopy> SerHelper<Zero> for Vec<T> {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `SerHelper<epserde::traits::Zero>`
...
   | impl<T: DeepCopy> SerHelper<Deep> for Vec<T> {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `SerHelper<Deep>`
   = note: required for `Vec<A>` to implement `epserde::ser::SerInner`
note: required by a bound in `epserde::ser::WriteWithNames::write`
  --> src/ser/write_with_names.rs
   |
   |     unsafe fn write<V: SerInner>(&mut self, _field_name: &str, value: &V) -> Result<()> {
   |                        ^^^^^^^^ required by this bound in `WriteWithNames::write`
   = note: this error originates in the derive macro `Epserde` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0277]: the trait bound `A: CopyType` is not satisfied
  --> tests/fail/seq_param_not_deep.rs:12:14
   |
12 |     payload: Vec<A>,
   |              ^^^^^^ the trait `CopyType` is not implemented for `A`
   |
   = note: required for `Vec<A>` to implement `DeserInner`
note: required by a bound in `__check_type_covariance`
  --> src/deser/mod.rs
   |
   | pub fn __check_type_covariance<T: DeserInner>() {
   |                                   ^^^^^^^^^^ required by this bound in `__check_type_covariance`

error[E0277]: the trait bound `Vec<A>: DeserInner` is not satisfied
  --> tests/fail/seq_param_not_deep.rs:12:14
   |
12 |     payload: Vec<A>,
   |              ^^^^^^ the trait `DeserHelper<_>` is not implemented for `Vec<A>`
   |
help: `Vec<T>` implements trait `DeserHelper<T>`
  --> src/impls/vec.rs
   |
   | impl<T: ZeroCopy + DeserInner> DeserHelper<Zero> for Vec<T> {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `DeserHelper<epserde::traits::Zero>`
...
   | impl<T: DeepCopy + DeserInner> DeserHelper<Deep> for Vec<T> {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `DeserHelper<Deep>`
   = note: required for `Vec<A>` to implement `DeserInner`
note: required by a bound in `__check_type_covariance`
  --> src/deser/mod.rs
   |
   | pub fn __check_type_covariance<T: DeserInner>() {
   |                                   ^^^^^^^^^^ required by this bound in `__check_type_covariance`

error[E0277]: the trait bound `A: CopyType` is not satisfied
  --> tests/fail/seq_param_not_deep.rs:12:14
   |
12 |     payload: Vec<A>,
   |              ^^^^^^ the trait `CopyType` is not implemented for `A`
   |
   = note: required for `Vec<A>` to implement `DeserInner`

error[E0277]: the trait bound `Vec<A>: DeserInner` is not satisfied
  --> tests/fail/seq_param_not_deep.rs:12:14
   |
12 |     payload: Vec<A>,
   |              ^^^^^^ the trait `DeserHelper<_>` is not implemented for `Vec<A>`
   |
help: `Vec<T>` implements trait `DeserHelper<T>`
  --> src/impls/vec.rs
   |
   | impl<T: ZeroCopy + DeserInner> DeserHelper<Zero> for Vec<T> {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `DeserHelper<epserde::traits::Zero>`
...
   | impl<T: DeepCopy + DeserInner> DeserHelper<Deep> for Vec<T> {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `DeserHelper<Deep>`
   = note: required for `Vec<A>` to implement `DeserInner`

error[E0277]: the trait bound `A: CopyType` is not satisfied
  --> tests/fail/seq_param_not_deep.rs:10:10
   |
10 | #[derive(Epserde)]
   |          ^^^^^^^ the trait `CopyType` is not implemented for `A`
   |
   = note: required for `Vec<A>` to implement `DeserInner`
   = note: this error originates in the derive macro `Epserde` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0277]: the trait bound `Vec<A>: DeserHelper<_>` is not satisfied
  --> tests/fail/seq_param_not_deep.rs:10:10
   |
10 | #[derive(Epserde)]
   |          ^^^^^^^ the trait `DeserHelper<_>` is not implemented for `Vec<A>`
   |
help: `Vec<T>` implements trait `DeserHelper<T>`
  --> src/impls/vec.rs
   |
   | impl<T: ZeroCopy + DeserInner> DeserHelper<Zero> for Vec<T> {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `DeserHelper<epserde::traits::Zero>`
...
   | impl<T: DeepCopy + DeserInner> DeserHelper<Deep> for Vec<T> {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `DeserHelper<Deep>`
   = note: required for `Vec<A>` to implement `DeserInner`
   = note: this error originates in the derive macro `Epserde` (in Nightly builds, run with -Z macro-backtrace for more info)