fixes #23531; fixes invalid meta type accepted in the object fields (#23532)

fixes #23531
fixes #19546
fixes #6982

1 files changed, 61 insertions, 0 deletions

diff --git a/tests/errmsgs/tmetaobjectfields.nim b/tests/errmsgs/tmetaobjectfields.nim
new file mode 100644
index 000000000..837041512
--- /dev/null
+++ b/tests/errmsgs/tmetaobjectfields.nim
@@ -0,0 +1,61 @@
+discard """
+  cmd: "nim check --hints:off $file"
+  action: "reject"
+  nimout: '''
+tmetaobjectfields.nim(24, 5) Error: 'array' is not a concrete type
+tmetaobjectfields.nim(28, 5) Error: 'seq' is not a concrete type
+tmetaobjectfields.nim(32, 5) Error: 'set' is not a concrete type
+tmetaobjectfields.nim(35, 3) Error: 'sink' is not a concrete type
+tmetaobjectfields.nim(37, 3) Error: 'lent' is not a concrete type
+tmetaobjectfields.nim(54, 16) Error: 'seq' is not a concrete type
+tmetaobjectfields.nim(58, 5) Error: 'ptr' is not a concrete type
+tmetaobjectfields.nim(59, 5) Error: 'ref' is not a concrete type
+tmetaobjectfields.nim(60, 5) Error: 'auto' is not a concrete type
+tmetaobjectfields.nim(61, 5) Error: 'UncheckedArray' is not a concrete type
+'''
+"""
+
+
+# bug #6982
+# bug #19546
+# bug #23531
+type
+  ExampleObj1 = object
+    arr: array
+
+type
+  ExampleObj2 = object
+    arr: seq
+
+type
+  ExampleObj3 = object
+    arr: set
+
+type A = object
+  b: sink
+  # a: openarray
+  c: lent
+
+type PropertyKind = enum
+  tInt,
+  tFloat,
+  tBool,
+  tString,
+  tArray
+
+type
+  Property = ref PropertyObj
+  PropertyObj = object
+    case kind: PropertyKind
+    of tInt: intValue: int
+    of tFloat: floatValue: float
+    of tBool: boolValue: bool
+    of tString: stringValue: string
+    of tArray: arrayValue: seq
+
+type
+  RegressionTest = object
+    a: ptr
+    b: ref
+    c: auto
+    d: UncheckedArray