ICE on record update with "fail" as base record

[rntz]

struct Foo { x: int }

fn main() {
  let _ = Foo { x: 0, ..fail };
}

Compiling this results in an ICE:

bugs/record-update-ice.rs:4:24: 4:28 error: internal compiler error: bad base expr type in record
bugs/record-update-ice.rs:4   let _ = Foo { x: 0, ..fail };
                                                    ^~~~

[yjh0502]

I just tried to compile a code above, and it produces following output. It seems that the bug is already fixed.

test.rs:4:28: 4:32 error: unresolved name: fail
test.rs:4       let _ = Foo { x: 0, ..fail };
                                      ^~~~
error: aborting due to previous error

[sanxiyn]

No, syntax change is masking ICE. This still reproduces after changing fail to fail!().

[graydon]

Apparently fixed with some recent work in the typechecker:

./t.rs:4:6: 4:33 error: cannot determine a type for this local variable: unconstrained type
./t.rs:4   let _ = Foo { x: 0, ..fail!() };
               ^~~~~~~~~~~~~~~~~~~~~~~~~~~
error: aborting due to previous error

Closing as fixed. Reopen if you feel this is not correct behavior.