From b7d41f850a619359e9164bd445e95da8d68b4e1a Mon Sep 17 00:00:00 2001 From: Ryan Tjoa Date: Thu, 26 Dec 2024 18:32:36 -0500 Subject: [PATCH] Remove unnecessary kind annotations --- testsuite/tests/typing-layouts-unboxed-records/recursive.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/testsuite/tests/typing-layouts-unboxed-records/recursive.ml b/testsuite/tests/typing-layouts-unboxed-records/recursive.ml index 6d691f4fcda..966a22c7032 100644 --- a/testsuite/tests/typing-layouts-unboxed-records/recursive.ml +++ b/testsuite/tests/typing-layouts-unboxed-records/recursive.ml @@ -90,11 +90,11 @@ Error: The definition of "bad" is recursive without boxing: "bad" contains "bad" |}] -type ('a : any) record_id = #{ a : 'a } -type ('a : any) alias_id = 'a +type 'a record_id = #{ a : 'a } +type 'a alias_id = 'a [%%expect{| type 'a record_id = #{ a : 'a; } -type ('a : any) alias_id = 'a +type 'a alias_id = 'a |}] type bad = bad record_id