Skip to content

Typo in E0751 #133985

Closed
Closed
@ionicmc-rs

Description

@ionicmc-rs

here is E0571

There are both a positive and negative trait implementation for the same type.

Erroneous code example:

trait MyTrait {}
impl MyTrait for i32 { }
impl !MyTrait for i32 { } // error!

Negative implementations are a promise that the trait will never be implemented for the given types. Therefore, both cannot
exists at the same time.
^^^^^^
`exist`

there is probably some better template to use here

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-diagnosticsArea: Messages for errors, warnings, and lintsC-bugCategory: This is a bug.E-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions