We have no defense for not emitting correct code for correct input.
I don't care how long it takes, emitting incorrect code is a sin.
I don't think we ever emitted incorrect code, we just said we can't
compile that. And I think it's reasonable since it can be split up
into separate function that we can compile.