summaryrefslogtreecommitdiffstats
path: root/src/test/ui/liveness/liveness-forgot-ret.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/liveness/liveness-forgot-ret.rs')
-rw-r--r--src/test/ui/liveness/liveness-forgot-ret.rs6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/test/ui/liveness/liveness-forgot-ret.rs b/src/test/ui/liveness/liveness-forgot-ret.rs
new file mode 100644
index 000000000..b8c2bc734
--- /dev/null
+++ b/src/test/ui/liveness/liveness-forgot-ret.rs
@@ -0,0 +1,6 @@
+fn god_exists(a: isize) -> bool { return god_exists(a); }
+
+fn f(a: isize) -> isize { if god_exists(a) { return 5; }; }
+//~^ ERROR mismatched types
+
+fn main() { f(12); }