add testcase for #8012 (#15785)

(cherry picked from commit 2de90a14cb)
2025-12-29 01:14:41 +00:00 · 2020-10-30 16:57:26 +08:00
parent dc6073b0b8
commit eb2ed782c6
1 changed files with 15 additions and 0 deletions
--- a/tests/concepts/t8012.nim
+++ b/tests/concepts/t8012.nim
@@ -0,0 +1,15 @@
+type
+  MyTypeCon = concept c
+    c.counter is int
+  MyType = object
+    counter: int
+
+proc foo(conc: var MyTypeCon) =
+  conc.counter.inc
+  if conc.counter < 5:
+    foo(conc)
+
+var x: MyType
+
+x.foo
+discard x.repr