Failing test for generating interface where a module has multiple type constraints

Author: mediremi

tests/analysis_tests/tests/src/CreateInterface.res

@@ -171,3 +171,24 @@ module ComponentWithPolyProp = {
     <div className />
   }
 }
+
+module OrderedSet = {
+  type t<'a, 'identity> = {
+    cmp: ('a, 'a) => int,
+    set: Belt.Set.t<'a, 'identity>,
+    array: array<'a>,
+  }
+
+  let make = (
+    type value identity,
+    ~id: module(Belt.Id.Comparable with type t = value and type identity = identity),
+  ): t<value, identity> => {
+    let module(M) = id
+
+    {
+      cmp: M.cmp->Belt.Id.getCmpInternal,
+      set: Belt.Set.make(~id),
+      array: [],
+    }
+  }
+}

tests/analysis_tests/tests/src/expected/CreateInterface.res.txt

@@ -124,4 +124,12 @@ module ComponentWithPolyProp: {
   @react.component
   let make: (~size: [< #large | #small]=?) => Jsx.element
 }
+module OrderedSet: {
+  type t<'a, 'identity> = {
+    cmp: ('a, 'a) => int,
+    set: Belt.Set.t<'a, 'identity>,
+    array: array<'a>,
+  }
+  let make: (~id: module(Belt.Id.Comparable with type identity = 'a with type t = 'b)) => t<'b, 'a>
+}