From 95f8ed03821be6725b22e52de47c3efc413af908 Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Wed, 15 May 2019 08:18:20 +0200
Subject: fixes #6732 (#11255)

---
 tests/generics/tprevent_double_bind.nim | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 tests/generics/tprevent_double_bind.nim

(limited to 'tests/generics')

diff --git a/tests/generics/tprevent_double_bind.nim b/tests/generics/tprevent_double_bind.nim
new file mode 100644
index 000000000..86e080ab6
--- /dev/null
+++ b/tests/generics/tprevent_double_bind.nim
@@ -0,0 +1,21 @@
+discard """
+  errormsg: "type mismatch: got <TT[seq[string]], proc (v: int){.gcsafe, locks: 0.}>"
+  line: 20
+"""
+
+# bug #6732
+import typetraits
+
+type
+  TT[T] = ref object of RootObj
+    val: T
+  CB[T] = proc (v: T)
+
+proc testGeneric[T](val: TT[T], cb: CB[T]) =
+  echo val.type.name
+  echo $val.val
+
+var tt = new(TT[seq[string]])
+echo tt.type.name
+tt.testGeneric( proc (v: int) =
+    echo $v )
-- 
cgit 1.4.1-2-gfad0