Test bivariance

Author: Octachron

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

@@ -16,6 +16,14 @@ type +!'a t = private 'a
 
 type -!'a t = private 'a -> unit
 
+type +-'a t = int
+type -+'a t = int
+
+type !+-'a t = A
+type !-+'a t = A
+type +-!'a t = A
+type -+!'a t = A
+
 module M : sig
   type +!'a t
 end = struct

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

@@ -7,6 +7,12 @@ type +!'a t = private 'a
 type -!'a t = private 'a -> unit
 type +!'a t = private 'a
 type -!'a t = private 'a -> unit
+type +-'a t = int
+type -+'a t = int
+type !+-'a t = A
+type !-+'a t = A
+type +-!'a t = A
+type -+!'a t = A
 
 module M : sig
   type +!'a t

test/passing/refs.janestreet/injectivity.ml.ref

@@ -7,6 +7,12 @@ type +!'a t = private 'a
 type -!'a t = private 'a -> unit
 type +!'a t = private 'a
 type -!'a t = private 'a -> unit
+type +-'a t = int
+type -+'a t = int
+type !+-'a t = A
+type !-+'a t = A
+type +-!'a t = A
+type -+!'a t = A
 
 module M : sig
   type +!'a t

test/passing/refs.ocamlformat/injectivity.ml.ref

@@ -16,6 +16,18 @@ type +!'a t = private 'a
 
 type -!'a t = private 'a -> unit
 
+type +-'a t = int
+
+type -+'a t = int
+
+type !+-'a t = A
+
+type !-+'a t = A
+
+type +-!'a t = A
+
+type -+!'a t = A
+
 module M : sig
   type +!'a t
 end = struct

test/passing/tests/injectivity.ml

@@ -16,6 +16,14 @@ type +!'a t = private 'a
 
 type -!'a t = private 'a -> unit
 
+type +-'a t = int
+type -+'a t = int
+
+type !+-'a t = A
+type !-+'a t = A
+type +-!'a t = A
+type -+!'a t = A
+
 module M : sig
   type +!'a t
 end = struct