summary refs log tree commit diff stats
path: root/tests/generics
diff options
context:
space:
mode:
authorJason Beetham <beefers331@gmail.com>2022-02-02 01:38:21 -0700
committerGitHub <noreply@github.com>2022-02-02 09:38:21 +0100
commit1830a3b505c33be5fc3b9e311c5e7720d9b37b32 (patch)
tree1bd1d71b47806886d2d0d832a16f05f7446c94d1 /tests/generics
parent22ae0bef63189dff28676b0dd5f6089864151120 (diff)
downloadNim-1830a3b505c33be5fc3b9e311c5e7720d9b37b32.tar.gz
No longer segfault when using a typeclass with a self referencing type (#19467)
Diffstat (limited to 'tests/generics')
-rw-r--r--tests/generics/tgenerics_issues.nim12
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/generics/tgenerics_issues.nim b/tests/generics/tgenerics_issues.nim
index 092926c01..db7a16569 100644
--- a/tests/generics/tgenerics_issues.nim
+++ b/tests/generics/tgenerics_issues.nim
@@ -860,3 +860,15 @@ type
 
 var a: Tile3[int]
 
+block: # Ensure no segfault from constraint
+  type
+    Regex[A: SomeOrdinal] = ref object
+      val: Regex[A]
+    MyConstraint = (seq or enum or set)
+    MyOtherType[A: MyConstraint] = ref object
+      val: MyOtherType[A]
+
+  var
+    a = Regex[int]()
+    b = Regex[bool]()
+    c = MyOtherType[seq[int]]()