tail-typeck

Author: Kivooeo

tests/ui/typeck/tail-return-type-mismatch.rs

@@ -1,5 +1,13 @@
-fn f() -> isize { return g(); } //~ ERROR mismatched types
+//! This test verifies that the type checker correctly identifies and reports error
 
-fn g() -> usize { return 0; }
+fn f() -> isize {
+    return g();
+} //~ ERROR mismatched types [E0308]
 
-fn main() { let y = f(); }
+fn g() -> usize {
+    return 0;
+}
+
+fn main() {
+    let y = f();
+}