From e04f3195407cc99f958dd81e0a9d58fe5414e631 Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Fri, 29 Apr 2016 22:30:00 +0200
Subject: fixes #4084

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

(limited to 'tests')

diff --git a/tests/generics/twrong_explicit_typeargs.nim b/tests/generics/twrong_explicit_typeargs.nim
new file mode 100644
index 000000000..37d5b1e38
--- /dev/null
+++ b/tests/generics/twrong_explicit_typeargs.nim
@@ -0,0 +1,16 @@
+discard """
+  errormsg: "type mismatch: got (string) but expected 'int32 or int64'"
+  line: 16
+"""
+
+# bug #4084
+type
+  Image[T] = object
+    data: seq[T]
+
+proc newImage[T: int32|int64](w, h: int): ref Image[T] =
+  new(result)
+  result.data = newSeq[T](w * h)
+
+var correct = newImage[int32](320, 200)
+var wrong = newImage[string](320, 200)
-- 
cgit 1.4.1-2-gfad0