diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2019-05-15 08:18:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-15 08:18:20 +0200 |
| commit | 95f8ed03821be6725b22e52de47c3efc413af908 (patch) | |
| tree | fcb1d2ee5e3460656dcfa1fa2bdfc31476178672 /tests/generics | |
| parent | 9ecb24e443453066e2f9361784daf51f3e5c7f9c (diff) | |
| download | Nim-95f8ed03821be6725b22e52de47c3efc413af908.tar.gz | |
fixes #6732 (#11255)
Diffstat (limited to 'tests/generics')
| -rw-r--r-- | tests/generics/tprevent_double_bind.nim | 21 |
1 files changed, 21 insertions, 0 deletions
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 ) |