When creating an interface file withrescript-editor-analysis createInterface SomeFile.res, invalid syntax was being generated for module types containing multiple type constraints.

For example:

letmake= (typevalueidentity,  ~id:module(Belt.Id.Comparablewithtypet=valueandtypeidentity=identity),):t<value,identity>=> {// ...}

was being converted to interface:

letmake: (~id:module(Belt.Id.Comparablewithtypeidentity='awithtypet='b))=>t<'b,'a>

butwith type identity = 'a with type t = 'b is invalid syntax and should have beenwith type identity = 'a and type t = 'b (notice the secondwith becomesand).

res_outcome_printer did have existing logic to emitand instead ofwith, but it relied on a ref counter that was not being incremented.