Stored value type does not match pointer operand type

[bluss]

The following testcase trips the module verifier. Removing either the loop label or the variable in the loop will remove the error.

fn decode() -> ~str {
    'outer: loop {
        let mut ch_start: uint;
        break 'outer;
    }
    ~""
}

fn main() {}

Stored value type does not match pointer operand type!
  store i8 0, { i64, i64, [0 x i8] }** %__make_return_pointer
 { i64, i64, [0 x i8] }*Broken module found, compilation aborted!
Stack dump:
0.      Running pass 'Module Verifier' on function '@_ZN6decode16_9b82fa348abd2b24v0.0E'

Found in commit 79e78c4

[sfackler]

Looks like this was caused by #9026 as well. This compiles fine with 124eb21 reverted.

[jbclements]

following pull request #9090, this is revealed as an ICE related to comparison of idents. Should be a quick(-ish) fix. Assigning bug to me.