Applying --pretty typed to fixed-size vector-types fails.

[auroranockert]

Running rustc --lib --pretty typed on the following code

fn as_float4(a:[f32, ..4]) -> [f32, ..4] {
    a
}

fails with the following error.

error: internal compiler error: node_id_to_type: no type for node `unknown node (id=43)`

[sanxiyn]

Still reproduces.

[chris-morgan]

I just encountered this too, firstly with code that was using assert!. This strikes me as something severe enough that we should be fairly immediately either fixing --pretty typed or removing it. As it is, it won't work on any non-trivial codebase, because the new formatting employs fixed-size vectors—and pretty much everyone will use at least one of println!, fmt!, assert!, &c.

[chris-morgan]

To be clear, it's writing it as a type that fails, not as a value.

These commands fail:

echo 'fn main() { assert!(true); }' | rustc - --pretty typed
echo 'fn main() { let _: [(), ..1] = [()]; }' | rustc - --pretty typed

While in the case of the second, removing the : [(), ..1] allows it to succeed.

[erickt]

Still reproduces.

[lilyball]

This is a dupe of #4264.