Rust errors / Types and traits
Rust compiler error · checked with rustc 1.99.0
Rust error E0374: implementing `CoerceUnsized` requires a field to be coerced
What it meansCoerceUnsized or DispatchFromDyn was implemented on a struct which does not contain a field that is being unsized.
What rustc prints
error[E0374]: implementing `CoerceUnsized` requires a field to be coerced --> main.rs:9:1 | 9 | / impl<T, U> CoerceUnsized<Foo<U>> for Foo<T> 10 | | where T: CoerceUnsized<U> {} | |_____________________________^ | = note: expected a single field to be coerced, none found
Real 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
CoerceUnsized or DispatchFromDyn was implemented on a struct which does not contain a field that is being unsized.
Example of erroneous code:
#![feature(coerce_unsized)]
use std::ops::CoerceUnsized;
struct Foo<T: ?Sized> {
a: i32,
}
// error: Struct `Foo` has no unsized fields that need to be coerced.
impl<T, U> CoerceUnsized<Foo<U>> for Foo<T>
where T: CoerceUnsized<U> {}
CoerceUnsized is used to coerce structs that have a field that can be unsized, like a custom MyBox<T> being unsized to MyBox<dyn Trait>. DispatchFromDyn is used to dispatch from MyBox<dyn Trait> to MyBox<Self> in a dyn-compatible trait.
If the struct doesn't have any fields of unsized types then there is no meaningful way to implement CoerceUnsized or DispatchFromDyn, since there is no coercion taking place.
Note that CoerceUnsized and DispatchFromDyn is mainly used by smart pointers like Box, Rc and Arc to be able to mark that they can coerce unsized types that they are pointing at.
From rustc --explain E0374 (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
- E0369binary operation cannot be applied to type
- E0371the object type `(dyn Baz + 'static)` automatically implements the trait `Bar`
- E0375implementing `CoerceUnsized` does not allow multiple fields to be coerced
- E0377the trait `CoerceUnsized` may only be implemented for a coercion between structures
Up next
Often hit nextE0308: mismatched typesA related error from the same family.Read it next →Did this answer your question?