Following code should fail to compile ``` func bar(arg: Int)->Int { if (arg) return 42; return 0; } func foo()->Int { return bar(); } ```