Skip to content

FP the trait bound ... PartialEq< .. > is not satisfied with asserts #22986

Description

@matthiaskrgr
fn main() {
    assert_eq!(
        b"",
        b"\
                                   "
    );
    assert_eq!(
        b"\n",
        b"
"
    );
}

this passes cargo run but RA diagnostic is not satisfied with the traits

at crate ra, file /tmp/ra/src/main.rs: Error RustcHardError("E0277") from LineCol { line: 1, col: 4 } to LineCol { line: 1, col: 14 }: the trait bound `[u8; 0]: PartialEq<[u8; 37]>` is not satisfied
required by the bound `&[u8; 0]: PartialEq<&[u8; 37]>`

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-tytype system / type inference / traits / method resolutionC-bugCategory: bug

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions