add testcase for #8012 (#15785)

2025-12-28 08:54:53 +00:00 · 2020-10-30 16:57:26 +08:00
parent 1655c04aa3
commit 2de90a14cb
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