diff options
| -rw-r--r-- | tests/overload/toverload_various.nim | 24 |
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]()) |