int array error message gives generic integer #3 type

[teburd]

With code like

let x : [int, ..3] = [1,2,3,4]

I get an error message thats probably not the best possible

<anon>:17:33: 17:42 error: mismatched types: expected `[int, .. 3]` but found `[<generic integer #3>, .. 4]` (expected vector but found vector)
<anon>:17         let mut x: [int, ..3] = [1,2,3,4]

[schmee]

This has been fixed somewhere between 14c0b3a and recent master (0aa23ed)! It now prints a much nicer error:

<anon>:2:26: 2:35 error: mismatched types: expected `[int, .. 3]` but found `[int, .. 4]` (expected vector but found vector)
<anon>:2     let x : [int, ..3] = [1,2,3,4];

Possibly fixed by 6b6edf4, but I'm not sure.

[ghost]

This has been fixed by the recent changes in how type variables are presented in diagnostics. Closing.