closes #6076

1 files changed, 24 insertions, 0 deletions

diff --git a/tests/overload/toverload_various.nim b/tests/overload/toverload_various.nim
index 4c17b6031..c4f8ecbf8 100644
--- a/tests/overload/toverload_various.nim
+++ b/tests/overload/toverload_various.nim
@@ -15,6 +15,7 @@ static: const
 static: literal
 static: constant folding
 static: static string
+foo1
 '''
 """
 
@@ -174,3 +175,26 @@ block tstaticoverload:
   foo("literal")
   foo("constant" & " " & "folding")
   foo(staticString("static string"))
+
+
+# bug #6076
+
+type A[T] = object
+
+proc regr(a: A[void]) = echo "foo1"
+proc regr[T](a: A[T]) = doAssert(false)
+
+regr(A[void]())
+
+
+type Foo[T] = object
+
+proc regr[T](p: Foo[T]): seq[T] =
+  discard
+
+proc regr(p: Foo[void]): seq[int] =
+  discard
+
+
+discard regr(Foo[int]())
+discard regr(Foo[void]())