LLVM assert with "let c <- fail;"

[jruderman]

fn id(x: uint) -> uint { x }

fn main() {
    let c <- fail;
    id(c);
}

Assertion failed: (getOperand(0)->getType() == cast(getOperand(1)->getType())->getElementType() && "Ptr must be a pointer to Val type!"), function AssertOK, file Instructions.cpp, line 1065.

[marijnh]

Could we maybe organize fail/ret/cont/break-related trans bugs in one or two issues? There are at least seven issues open where our compiler either uses a type of the wrong value or tries to continue a terminated block when compiling unreachable code. To keep the issue list comprehensible, we should at least link them to each other -- maybe even consider them duplicates.