Goal False.
let x := fail in x || x.
Abort.