Skip to content

Foo<T> can implement CoerceUnsized<Foo<U>> when T implements CoerceUnsized<U> rather than CoerceUnsized<Foo<U>> #1574

@xmh0511

Description

@xmh0511

https://doc.rust-lang.org/reference/type-coercions.html#unsized-coercions

Additionally, a type Foo<T> can implement CoerceUnsized<Foo<U>> when T implements Unsize<U> or CoerceUnsized<Foo<U>>. This allows it to provide a unsized coercion to Foo<U>.

However, the document of CoerceUnsized regarding the corresponding case says:

you can directly implement CoerceUnsized<Wrap<U>> for Wrap<T> where T: CoerceUnsized<U>

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions