From 171b916613bd0835ff3bf57061bd206a3df25f5e Mon Sep 17 00:00:00 2001
From: Mamy Ratsimbazafy <mamy_github@numforge.co>
Date: Tue, 30 May 2023 04:46:24 +0200
Subject: [PATCH] Add anti-regression for #21958 (#21960)

Add anti-regression test to close #21958
---
 tests/generics/t21958.nim | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 tests/generics/t21958.nim

diff --git a/tests/generics/t21958.nim b/tests/generics/t21958.nim
new file mode 100644
index 0000000000..f566b57cbb
--- /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