CLJ-2521: hoist loop bodies in statement position

Author: bronsa

src/jvm/clojure/lang/Compiler.java

@@ -6342,7 +6342,7 @@ public Expr parse(C context, Object frm) {
 			ISeq body = RT.next(RT.next(form));
 
 			if(context == C.EVAL
-			   || (context == C.EXPRESSION && isLoop))
+			   || (context != C.RETURN && isLoop))
 				return analyze(context, RT.list(RT.list(FNONCE, PersistentVector.EMPTY, form)));
 
 			ObjMethod method = (ObjMethod) METHOD.deref();

test/clojure/test_clojure/compilation.clj

@@ -443,3 +443,7 @@
   (testing "CLJ-2580 Correctly calculate exit branches of case"
     (is (zero? (let [d (case nil :x nil 0)] d)))
     (is (nil? (let [d (case nil :x 0 nil)] d)))))
+
+(deftest CLJ-2521
+  (testing "CLJ-2521 Can nest loop->try when in statement position"
+    (is (= "ret" ((fn [] (loop [] (try "" (catch Throwable _))) "ret"))))))