ICE with cast in fixed-length vector

[Ms2ger]

The following code:

fn main() {
    let x: [bool, ..1 as uint];
}

causes:

error: internal compiler error: node_id_to_type: no type for node `expr 1 as uint (id=16)`
This message reflects a bug in the Rust compiler. 
We would appreciate a bug report: https://github.com/mozilla/rust/wiki/HOWTO-submit-a-Rust-bug-report
task 'rustc' failed at 'explicit failure', /build/buildd/rust-nightly-201311220805~747213a~precise/src/libsyntax/diagnostic.rs:101
task '<main>' failed at 'explicit failure', /build/buildd/rust-nightly-201311220805~747213a~precise/src/librustc/lib.rs:396

in the latest nightly from https://launchpad.net/~hansjorg/+archive/rust.

[Ms2ger]

klutzy suggests this might be related to #9942.

[jfager]

I was looking into #5900 and this looks like a somewhat similar problem. The issue is that middle::const_eval::eval_const_expr_partial's ExprCast arm, which gets hit as a part of the call to check_item (here, specifically, check_fn), wants the ExprCast's parent id to already be in the type context but nothing has put it there yet. In #5900 this is because the enum doesn't get checked before the struct; here, it doesn't look like its order dependent, there's just nothing pushing that expression into the context.

[jfager]

This gets to the ICE through a more direct code path:

static x: &'static [bool, ..1 as uint] = &'static [true, ..1];

[eminence]

Visiting for triage. This issue still exists in the latest master (e2273d9). However @jfager's example doesn't ICE (just gives a syntax error)

[alexcrichton]

Flagging as needstest (seems to work now)