god_exists(a: isize) -> bool1 fn god_exists(a: isize) -> bool { return god_exists(a); } 2 f(a: isize) -> isize3 fn f(a: isize) -> isize { if god_exists(a) { return 5; }; } 4 //~^ ERROR mismatched types 5 main()6 fn main() { f(12); } 7