On top of Operator dispatch PR

with-6loc-patch.rs

fn main() {
    let s: &[u8] = &[0u8, 1];

    s == s;  // OK

    s == [0, 1];  // OK

    [0, 1] == s;
    //^~ error: mismatched types: expected `[_]`, found `&[u8]` (expected slice, found &-ptr)

    [0u8, 1] == [0u8, 1];
    //^~ error: error: mismatched types: expected `[u8]`, found `[u8, ..2]` (expected slice, found array of 2 elements)
}

without-patch.rs

fn main() {
    let s: &[u8] = &[0u8, 1];

    s == s;  // OK

    s == [0, 1];  // OK

    [0, 1] == s;
    //^~ error: mismatched types: expected `[_, ..2]`, found `&[u8]` (expected array of 2 elements, found &-ptr)

    [0u8, 1] == [0, 1];  // OK (This works because of your `impl PartialEq for [T, ..2]`)
}