Rust errors / Types and traits
Rust compiler error · checked with rustc 1.99.0
Rust error E0377: the trait `CoerceUnsized` may only be implemented for a coercion between structures
What it meansCoerceUnsized or DispatchFromDyn may only be implemented between structs of the same type.
What rustc prints
error[E0377]: the trait `CoerceUnsized` may only be implemented for a coercion between structures --> main.rs:14:1 | 14 | impl<T, U> CoerceUnsized<Bar<U>> for Foo<T> where T: CoerceUnsized<U> {} | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = note: expected coercion between the same definition; expected `Foo`, found `Bar`
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 may only be implemented between structs of the same type.
Example of erroneous code:
#![feature(coerce_unsized)]
use std::ops::CoerceUnsized;
pub struct Foo<T: ?Sized> {
field_with_unsized_type: T,
}
pub struct Bar<T: ?Sized> {
field_with_unsized_type: T,
}
// error: the trait `CoerceUnsized` may only be implemented for a coercion
// between structures with the same definition
impl<T, U> CoerceUnsized<Bar<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.
The compiler cannot support coercions between structs of different types, so a valid implementation of CoerceUnsized or DispatchFromDyn should be implemented between the same struct with different generic parameters.
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 E0377 (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
- E0374implementing `CoerceUnsized` requires a field to be coerced
- E0375implementing `CoerceUnsized` does not allow multiple fields to be coerced
- E0378the trait `DispatchFromDyn` may only be implemented for structs containing the field being coerced, ZST fields with 1 byte alignment that don't mention type/const generics, and nothing else
- E0379functions in traits cannot be declared const
Up next
Often hit nextE0308: mismatched typesA related error from the same family.Read it next →Did this answer your question?