alt discriminant of type bang -> "Ptr must be a pointer to Val type!"

[jruderman]

fn f() -> ! { fail }
fn g() -> int { alt f() { true { 1 } false { 0 } }; }
fn main() { g(); }

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

Maybe the same as issue #777

[marijnh]

What response would you prefer here? Compile and work, or error out in the typechecker?

[jruderman]

The fuzzer would be happy either way.

[catamorphism]

This should compile and work (well, fail at runtime). f() has type _|_ and so it should be usable in any context.