From 0de9e6bbf33bd013e39025f0ee81fc86956e70cf Mon Sep 17 00:00:00 2001
From: metagn <metagngn@gmail.com>
Date: Fri, 16 Jun 2023 21:20:06 +0300
Subject: add test to close #7209 (#22110)

* add test to close #7209

was fixed by #22029

* fix echo => doAssert
---
 tests/statictypes/tstaticgenericparam.nim | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/tests/statictypes/tstaticgenericparam.nim b/tests/statictypes/tstaticgenericparam.nim
index 3c77882d1..6acd05b70 100644
--- a/tests/statictypes/tstaticgenericparam.nim
+++ b/tests/statictypes/tstaticgenericparam.nim
@@ -9,3 +9,16 @@ block: # issue #19365
   doAssert ss == @["123: int"]
   f("abc")
   doAssert ss == @["123: int", "abc: string"]
+
+block: # issue #7209
+  type Modulo[A; M: static[A]] = distinct A
+
+  proc `$`[A; M: static[A]](x: Modulo[A, M]): string =
+    $(A(x)) & " mod " & $(M)
+
+  proc modulo[A](a: A, M: static[A]): Modulo[A, M] = Modulo[A, M](a %% M)
+
+  proc `+`[A; M: static[A]](x, y: Modulo[A, M]): Modulo[A, M] =
+    (A(x) + A(y)).modulo(M)
+
+  doAssert $(3.modulo(7) + 5.modulo(7)) == "1 mod 7"
-- 
cgit 1.4.1-2-gfad0