[fine] Some fixes around return statements

2024-01-15 09:04:28 -08:00 · 2024-01-15 09:04:28 -08:00 · 55749af917
commit 55749af917
parent 44bc072b04
3 changed files with 59 additions and 4 deletions
--- a/fine/tests/expression/errors/return_statement_mismatch.fine
+++ b/fine/tests/expression/errors/return_statement_mismatch.fine
@ -0,0 +1,8 @@
+fun test() -> f64 {
+  if false {
+    return "no way!";
+  }
+  23.0
+}
+
+// @check-error: callers of this function expect a value of type `f64` but this statement returns a value of type `string`