Parenthesised part of type mismatch error message sometimes prints back-to-front

[nmsmith]

As the title says, the parenthesised part sometimes prints backwards. At least, I've found one case where it does - when one of the operands is a reference provided by an iterator:

Test code:

fn main() {
    let i: [int, ..5] = [0, ..5];
    let n = &i[0];

    // Error prints correctly
    1 + n;

    // Error prints backwards
    for v in i.iter() {
        1 + v;
    }
}

Result:

test.rs:8:6: 8:7 error: mismatched types: expected `<generic integer #3>`
but found `&int` (expected integral variable but found &-ptr)
test.rs:8   1 + n;
                ^
test.rs:12:7: 12:8 error: mismatched types: expected `<generic integer #4>`
but found `&int` (expected &-ptr but found integral variable)
test.rs:12      1 + v;

[ben0x539]

Slightly more minimal test case:

fn main() {
    let x = ();
    // Error prints correctly
    1 + x;

    let x: () = ();
    // Error prints backwards
    1 + x;
}

Weird~

[nmsmith]

Ah, that's interesting. Then it seems the problem might be related to type inference. I'm not familiar enough with the compiler internals to investigate it myself though.