Type with implicit constructor and generic type constraints

fsprojects · Nov 25, 2022 · 38f56ea · 38f56ea
1 parent a7cd66e
commit 38f56ea
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 0 deletions.
diff --git a/src/Fantomas.Core.Tests/DallasTests.fs b/src/Fantomas.Core.Tests/DallasTests.fs
@@ -1638,3 +1638,28 @@ let create size : ImmutableArray<'T>.Builder = ImmutableArray.CreateBuilder(size
         """
 let create size : ImmutableArray<'T>.Builder = ImmutableArray.CreateBuilder(size)
 """
+
+[<Test>]
+let ``type with implicit constructor and generic type constraints`` () =
+    formatSourceString
+        false
+        """
+[<System.Diagnostics.DebuggerDisplay "Count = {Count}">]
+[<Sealed>]
+type internal Set<'T, 'ComparerTag> when 'ComparerTag :> IComparer<'T>(comparer: IComparer<'T>, tree: SetTree<'T>) =
+
+    static let refresh (s: Set<_, _>) t =
+        Set<_, _>(comparer = s.Comparer, tree = t)
+"""
+        config
+    |> prepend newline
+    |> should
+        equal
+        """
+[<System.Diagnostics.DebuggerDisplay "Count = {Count}">]
+[<Sealed>]
+type internal Set<'T, 'ComparerTag> when 'ComparerTag :> IComparer<'T>(comparer: IComparer<'T>, tree: SetTree<'T>) =
+
+    static let refresh (s: Set<_, _>) t =
+        Set<_, _>(comparer = s.Comparer, tree = t)
+"""
diff --git a/src/Fantomas.Core/CodePrinter2.fs b/src/Fantomas.Core/CodePrinter2.fs
@@ -3131,6 +3131,7 @@ let genTypeWithImplicitConstructor (typeName: TypeNameNode) (implicitConstructor
     +> sepSpace
     +> genAccessOpt typeName.Accessibility
     +> genTypeAndParam (genIdentListNode typeName.Identifier) typeName.TypeParameters
+    +> onlyIfNot typeName.Constraints.IsEmpty (sepSpace +> genTypeConstraints typeName.Constraints)
     +> leadingExpressionIsMultiline
         (optSingle (fun imCtor -> sepSpaceBeforeClassConstructor +> genImplicitConstructor imCtor) implicitConstructor)
         (fun isMulti ctx ->