From bd1dfa4b3809d79ea01cd8ef87dde8d02d1e8447 Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Fri, 2 Feb 2018 09:29:05 +0100
Subject: better type inference for numerical types; prerequisitive for version
 1

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

(limited to 'tests')

diff --git a/tests/generics/tspecial_numeric_inference.nim b/tests/generics/tspecial_numeric_inference.nim
new file mode 100644
index 000000000..d93544ba4
--- /dev/null
+++ b/tests/generics/tspecial_numeric_inference.nim
@@ -0,0 +1,12 @@
+discard """
+  output: '''int64
+int64'''
+"""
+
+import typetraits
+
+proc `@`[T: SomeInteger](x, y: T): T = x
+
+echo(type(5'i64 @ 6'i32))
+
+echo(type(5'i32 @ 6'i64))
-- 
cgit 1.4.1-2-gfad0