summary refs log tree commit diff stats
path: root/tests/generics/t21958.nim
diff options
context:
space:
mode:
Diffstat (limited to 'tests/generics/t21958.nim')
-rw-r--r--tests/generics/t21958.nim11
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/generics/t21958.nim b/tests/generics/t21958.nim
new file mode 100644
index 000000000..f566b57cb
--- /dev/null
+++ b/tests/generics/t21958.nim
@@ -0,0 +1,11 @@
+discard """
+  action: compile
+"""
+
+type
+  Ct*[T: SomeUnsignedInt] = distinct T
+
+template `shr`*[T: Ct](x: T, y: SomeInteger): T = T(T.T(x) shr y)
+
+var x: Ct[uint64]
+let y {.used.} = x shr 2
\ No newline at end of file