#4 test case

Author: dibyendumajumdar

semantic/src/test/java/com/compilerprogramming/ezlang/semantic/TestSemaAssignTypes.java

@@ -5,6 +5,7 @@
 import com.compilerprogramming.ezlang.parser.Parser;
 import com.compilerprogramming.ezlang.types.TypeDictionary;
 import org.junit.Assert;
+import org.junit.Ignore;
 import org.junit.Test;
 
 public class TestSemaAssignTypes {
@@ -420,4 +421,20 @@ func foo()
 """;
         analyze(src, "foo", "func foo()");
     }
+
+    @Ignore
+    @Test(expected = CompilerException.class)
+    public void test23() {
+        String src = """
+    func bar(arg: Int)->Int {
+        if (arg)
+            return 42;
+        return 0;
+    }
+    func foo()->Int {
+        return bar();
+    }
+""";
+        analyze(src, "foo", "func foo()->Int");
+    }
 }