From 02fb0476ce2240887e111b958f9df4750263ea05 Mon Sep 17 00:00:00 2001
From: ringabout <43030857+ringabout@users.noreply.github.com>
Date: Thu, 5 Dec 2024 22:19:34 +0800
Subject: [PATCH] adds a test case (#24515)

closes #17733
---
 tests/macros/tmacro1.nim | 42 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)

diff --git a/tests/macros/tmacro1.nim b/tests/macros/tmacro1.nim
index 18bbeb53dcbea..2b47c862d29d7 100644
--- a/tests/macros/tmacro1.nim
+++ b/tests/macros/tmacro1.nim
@@ -117,3 +117,45 @@ macro foo(x: typed) =
   doAssert Fruit(x.intVal) == banana
 
 foo(banana)
+
+block: # bug #17733
+  macro repr2(s: typed): string = 
+    result = newLit(s.repr)
+
+  macro symHash(s: typed): string = 
+    result = newLit(symBodyHash(s))
+
+  type A[T] = object
+    x: T
+
+  proc fn1(x: seq) = discard
+  proc fn2(x: ref) = discard
+  proc fn2b(x: ptr) = discard
+  proc fn3(x: pointer | ref | ptr) = discard
+  proc fn4(x: A) = discard
+
+  proc fn0(x: pointer) = discard
+  proc fn5[T](x: A[T]) = discard
+  proc fn6(x: tuple) = discard
+  proc fn7(x: pointer | tuple) = discard
+
+  # ok
+  discard symHash(fn0)
+  discard symHash(fn5)
+  discard symHash(fn6)
+  discard symHash(fn7)
+
+  # ok
+  discard repr2(fn2)
+  discard repr2(fn2b)
+  discard repr2(fn3)
+
+  # BUG D20210415T162824: Error: 'fn4' doesn't have a concrete type, due to unspecified generic parameters.
+  discard symHash(fn4)
+  discard symHash(fn1) # ditto
+
+  # BUG D20210415T162832: Error: unhandled exception: index out of bounds, the container is empty [IndexDefect]
+  discard symHash(fn3)
+  discard symHash(fn2) # ditto
+  discard symHash(fn2b) # ditto
+