about summary refs log tree commit diff
path: root/tests/ui/liveness/liveness-forgot-ret.rs
blob: 3ba2f2d276ef6b18d5610553cf2082da1f683554 (plain)
1
2
3
4
5
6
7
fn god_exists(a: isize) -> bool { return god_exists(a); }
//~^ WARN function cannot return without recursing

fn f(a: isize) -> isize { if god_exists(a) { return 5; }; }
//~^ ERROR mismatched types

fn main() { f(12); }