promote tests

Author: EmileTrotignon

test/passing/refs.ahrefs/record-402.ml.ref

@@ -119,3 +119,5 @@ let x = (A B).a
 let x = A (B).a
 
 let x = (1).a
+
+type 'a t = A : 'b. { a : 'a } -> 'a t

test/passing/refs.ahrefs/record-loose.ml.ref

@@ -119,3 +119,5 @@ let x = (A B).a
 let x = A (B).a
 
 let x = (1).a
+
+type 'a t = A : 'b. { a : 'a } -> 'a t

test/passing/refs.ahrefs/record-tight_decl.ml.ref

@@ -119,3 +119,5 @@ let x = (A B).a
 let x = A (B).a
 
 let x = (1).a
+
+type 'a t = A : 'b. { a: 'a } -> 'a t

test/passing/refs.ahrefs/record.ml.ref

@@ -119,3 +119,5 @@ let x = (A B).a
 let x = A (B).a
 
 let x = (1).a
+
+type 'a t = A : 'b. { a: 'a } -> 'a t

test/passing/refs.default/record-402.ml.ref

@@ -79,3 +79,5 @@ let foo
 let x = (A B).a
 let x = A (B).a
 let x = (1).a
+
+type 'a t = A : 'b. { a : 'a } -> 'a t

test/passing/refs.default/record-loose.ml.ref

@@ -79,3 +79,5 @@ let foo
 let x = (A B).a
 let x = A (B).a
 let x = (1).a
+
+type 'a t = A : 'b. { a : 'a } -> 'a t

test/passing/refs.default/record-tight_decl.ml.ref

@@ -79,3 +79,5 @@ let foo
 let x = (A B).a
 let x = A (B).a
 let x = (1).a
+
+type 'a t = A : 'b. { a: 'a } -> 'a t

test/passing/refs.default/record.ml.ref

@@ -79,3 +79,5 @@ let foo
 let x = (A B).a
 let x = A (B).a
 let x = (1).a
+
+type 'a t = A : 'b. { a: 'a } -> 'a t

test/passing/refs.janestreet/record-402.ml.ref

@@ -103,3 +103,5 @@ let foo
 let x = (A B).a
 let x = A (B).a
 let x = (1).a
+
+type 'a t = A : 'b. { a : 'a } -> 'a t

test/passing/refs.janestreet/record-loose.ml.ref

@@ -103,3 +103,5 @@ let foo
 let x = (A B).a
 let x = A (B).a
 let x = (1).a
+
+type 'a t = A : 'b. { a : 'a } -> 'a t