diff --git a/tests/arc/tgenerics.nim b/tests/arc/tgenerics.nim
new file mode 100644
index 0000000000..20495dc029
--- /dev/null
+++ b/tests/arc/tgenerics.nim
@@ -0,0 +1,19 @@
+discard """
+  matrix: "--mm:refc"
+"""
+type
+  State = enum
+    Uninit
+    Init
+  Uart[T: static State] = object
+    baudRate: int
+    port: int
+
+proc `=destroy`(uart: var Uart[Init]) = raiseAssert "Destroyed"
+
+# proc `=copy`(a: var Uart[Init], b: Uart[Init]) {.error.} # Error: signature for '=copy' must be proc[T: object](x: var T; y: T)
+
+proc main() =
+  var a = Uart[Uninit]()
+
+main()
\ No newline at end of file