error[E0308]: mismatched types
  --> $DIR/liveness-forgot-ret.rs:3:19
   |
LL | fn f(a: isize) -> isize { if god_exists(a) { return 5; }; }
   |    -              ^^^^^ expected isize, found ()    - expected because of this statement
   |    |
   |    this function's body doesn't return
   |
   = note: expected type `isize`
              found type `()`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0308`.