fixes `result` requires explicit initialization on noReturn code (#22717)

fixes #21615; fixes #16735

It also partially fixes | #22673, though It still gives 'baseless'
warnings.

1 files changed, 27 insertions, 0 deletions

diff --git a/tests/init/tcompiles.nim b/tests/init/tcompiles.nim
index 2072702ad..e86cad1e2 100644
--- a/tests/init/tcompiles.nim
+++ b/tests/init/tcompiles.nim
@@ -62,3 +62,30 @@ block:
       raise newException(ValueError, "unreachable")
 
   discard test(true)
+
+# bug #21615
+# bug #16735
+
+block:
+  type Test {.requiresInit.} = object
+    id: int
+
+  proc bar(): int =
+    raise newException(CatchableError, "error")
+
+  proc test(): Test =
+    raise newException(CatchableError, "")
+
+  template catchError(body) =
+    var done = false
+    try:
+      body
+    except CatchableError:
+      done = true
+    doAssert done
+
+  catchError:
+    echo test()
+
+  catchError:
+    echo bar()