From a68229148a9b5b562319ff472717f6c4cf2030fe Mon Sep 17 00:00:00 2001
From: Stefan Muenzel <source@s.muenzel.net>
Date: Fri, 24 Feb 2023 18:35:51 +0800
Subject: [PATCH] Add test

---
 test/traverse/test.ml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/test/traverse/test.ml b/test/traverse/test.ml
index 4cc0df15..0dd9b2c9 100644
--- a/test/traverse/test.ml
+++ b/test/traverse/test.ml
@@ -82,3 +82,12 @@ class virtual iter :
     method t : t -> unit
   end
 |}]
+
+type t =
+  | X
+  | Arrow of { label : string option; domain : t; range : t }
+[@@deriving traverse]
+[%%expect{|
+Line _, characters 2-61:
+Error: This constructor expects an inlined record argument.
+|}]