Remove unnecessary kind annotations

ocaml-flambda · Dec 26, 2024 · b7d41f8 · b7d41f8
1 parent 5b55d46
commit b7d41f8
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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