Rust errors / Types and traits
Rust compiler error · checked with rustc 1.99.0
Rust error E0690: transparent struct needs at most one non-trivial field, but has 2
What it meansA struct with the representation hint repr(transparent) had two or more fields that were not guaranteed to be zero-sized.
What rustc prints
error[E0690]: transparent struct needs at most one non-trivial field, but has 2
--> main.rs:2:1
|
2 | struct LengthWithUnit<U> { // error: transparent struct needs at most one
| ^^^^^^^^^^^^^^^^^^^^^^^^ needs at most one non-trivial field, but has 2
3 | value: f32, // non-zero-sized field, but has 2
| ---------- this field has non-zero size
4 | unit: U,
| ------- this field is generic and hence may have non-zero sizeReal output of rustc 1.99.0 compiling the official example below (2021 edition). Your names and line numbers will differ; the first line is the part to match.
The compiler team's explanation
A struct with the representation hint repr(transparent) had two or more fields that were not guaranteed to be zero-sized.
Erroneous code example:
#[repr(transparent)]
struct LengthWithUnit<U> { // error: transparent struct needs at most one
value: f32, // non-zero-sized field, but has 2
unit: U,
}
Because transparent structs are represented exactly like one of their fields at run time, said field must be uniquely determined. If there are multiple fields, it is not clear how the struct should be represented. Note that fields of zero-sized types (e.g., PhantomData) can also exist alongside the field that contains the actual data, they do not count for this error. When generic types are involved (as in the above example), an error is reported because the type parameter could be non-zero-sized.
To combine repr(transparent) with type parameters, PhantomData may be useful:
use std::marker::PhantomData;
#[repr(transparent)]
struct LengthWithUnit<U> {
value: f32,
unit: PhantomData<U>,
}From rustc --explain E0690 (1.99.0), part of the Rust project, MIT or Apache-2.0. Official page.
Related errors
- E0308mismatched types
- E0277the trait bound is not satisfied
- E0599no method named X found in the current scope
- E0433failed to resolve
- E0666nested `impl Trait` is not allowed
- E0689can't call method `neg` on ambiguous numeric type `{float}`
- E0692transparent struct cannot have other repr hints
- E0714marker traits cannot have associated items
Up next
Often hit nextE0308: mismatched typesA related error from the same family.Read it next →Did this answer your question?