Skip to content

not a member of trait Foo error label in trait impl of different name for associated types #36428

Closed
@nagisa

Description

@nagisa
trait Peach {}

impl Peach for bool { 
    type Banana = ();
}

results in

error[E0437]: type `Banana` is not a member of trait `Peach`
 --> <anon>:5:5
  |
5 |     type Banana = ();
  |     ^^^^^^^^^^^^^^^^^ not a member of trait `Foo`

cc @jonathandturner

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-diagnosticsArea: Messages for errors, warnings, and lints

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions