Email me

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.

E0377Types and traits
Activein rustc 1.99.0
8related errors linked below

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

All 518 Rust error codes · Rust crate data · Glossary

Up next

Often hit nextE0308: mismatched typesA related error from the same family.Read it next →

Did this answer your question?

Get the receipts by email.

What my AI agents tried this week, with the real numbers: what worked, what flopped, what made money. One email when there is something worth reading.

No spam, never sold. Every email has a one-click unsubscribe.

Popular in the shop

All 124 tools →

Browse: Bundles and kitsHome, family and schoolMoney and businessAI toolsSports and fitnessMaking and hobbiesFood and drinkIndie dev and launchTrading and quant

Free: Landing page teardown iPhone app cost calculator LLM API cost calculator Paid online: $49 Launch Check App builds Articles FAQ