From 85ac4bfff6ab9a615a8b24f0cf7543178a2d591f Mon Sep 17 00:00:00 2001 From: Araq Date: Wed, 22 May 2019 15:42:34 +0200 Subject: closes #6076 --- tests/overload/toverload_various.nim | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) (limited to 'tests/overload/toverload_various.nim') 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]()) -- cgit 1.4.1-2-gfad0