Inlay hints/PatternTypeHintsStage: add space after return type (#754)

* Inlay hints/PatternTypeHintsStage: add space after return type

* cleanup

* fix

ReSharper.FSharp/src/FSharp/FSharp.Psi.Daemon/src/Highlightings/TypeHintHighlighting.fs

@@ -18,11 +18,11 @@ open JetBrains.UI.RichText
      AttributeId = AnalysisHighlightingAttributeIds.PARAMETER_NAME_HINT,
      OverlapResolve = OverlapResolveKind.NONE,
      ShowToolTipInStatusBar = false)>]
-type TypeHintHighlighting(typeNameString: string, range: DocumentRange, pushToHintMode: PushToHintMode,
+type TypeHintHighlighting(typeNameString: string, range: DocumentRange, pushToHintMode: PushToHintMode, suffix,
                           bulbActionsProvider: IInlayHintBulbActionsProvider) =
-    let text = RichText(": " + typeNameString)
+    let text = RichText(": " + typeNameString + suffix)
     new (typeNameString: string, range: DocumentRange) =
-        TypeHintHighlighting(typeNameString, range, PushToHintMode.Default, null)
+        TypeHintHighlighting(typeNameString, range, PushToHintMode.Default, "", null)
 
     interface IHighlighting with
         member x.ToolTip = null

ReSharper.FSharp/src/FSharp/FSharp.Psi.Daemon/src/Stages/PatternTypeHintsStage.fs

@@ -108,8 +108,10 @@ type private PatternsHighlightingProcess(logger: ILogger, fsFile, settingsStore:
         (displayContext: FSharpDisplayContext)
         range
         pushToHintMode
-        actionsProvider =
-        TypeHintHighlighting(fcsType.Format(displayContext), range, pushToHintMode, actionsProvider)
+        actionsProvider
+        isFromReturnType =
+        let suffix = if isFromReturnType then " " else ""
+        TypeHintHighlighting(fcsType.Format(displayContext), range, pushToHintMode, suffix, actionsProvider)
 
     let getReturnTypeHint (decl: IParameterOwnerMemberDeclaration) pushToHintMode actionsProvider =
         match decl with
@@ -142,7 +144,7 @@ type private PatternsHighlightingProcess(logger: ILogger, fsFile, settingsStore:
         let symbol = symbolUse.Symbol.As<FSharpMemberOrFunctionOrValue>()
         if isNull symbol then ValueNone else
 
-        createTypeHintHighlighting symbol.ReturnParameter.Type defaultDisplayContext range pushToHintMode actionsProvider
+        createTypeHintHighlighting symbol.ReturnParameter.Type defaultDisplayContext range pushToHintMode actionsProvider true
         |> ValueSome
 
     let rec getHintForPattern (pattern: IFSharpPattern) pushToHintMode actionsProvider =
@@ -169,7 +171,7 @@ type private PatternsHighlightingProcess(logger: ILogger, fsFile, settingsStore:
             let fcsType = symbol.FullType
             let range = pattern.GetNavigationRange().EndOffsetRange()
 
-            createTypeHintHighlighting fcsType defaultDisplayContext range pushToHintMode actionsProvider
+            createTypeHintHighlighting fcsType defaultDisplayContext range pushToHintMode actionsProvider false
             |> ValueSome
 
         | _ -> ValueNone

ReSharper.FSharp/test/data/features/daemon/typeHints/Signatures - Locals 01.fs.gold

@@ -127,7 +127,7 @@ let (|ActiveOption|_|) _ = None
 ---------------------------------------------------------
 (0): ReSharper Parameter Name Hint: : int
 (1): ReSharper Parameter Name Hint: : int
-(2): ReSharper Parameter Name Hint: : int
+(2): ReSharper Parameter Name Hint: : int 
 (3): ReSharper Parameter Name Hint: : int
 (4): ReSharper Parameter Name Hint: : obj
 (5): ReSharper Parameter Name Hint: : int

ReSharper.FSharp/test/data/features/daemon/typeHints/Signatures - Show all 01.fs.gold

@@ -137,12 +137,12 @@ let (|ActiveOption|_|) _ ||(56)= None
 (9): ReSharper Parameter Name Hint: : 'l
 (10): ReSharper Parameter Name Hint: : 'm
 (11): ReSharper Parameter Name Hint: : KeyValuePair<'l,'m>
-(12): ReSharper Parameter Name Hint: : unit
+(12): ReSharper Parameter Name Hint: : unit 
 (13): ReSharper Parameter Name Hint: : int
 (14): ReSharper Parameter Name Hint: : int
 (15): ReSharper Parameter Name Hint: : int
 (16): ReSharper Parameter Name Hint: : int
-(17): ReSharper Parameter Name Hint: : int
+(17): ReSharper Parameter Name Hint: : int 
 (18): ReSharper Parameter Name Hint: : int
 (19): ReSharper Parameter Name Hint: : obj
 (20): ReSharper Parameter Name Hint: : int
@@ -154,31 +154,31 @@ let (|ActiveOption|_|) _ ||(56)= None
 (26): ReSharper Parameter Name Hint: : string array
 (27): ReSharper Parameter Name Hint: : int
 (28): ReSharper Parameter Name Hint: : int
-(29): ReSharper Parameter Name Hint: : int
+(29): ReSharper Parameter Name Hint: : int 
 (30): ReSharper Parameter Name Hint: : int
-(31): ReSharper Parameter Name Hint: : obj -> obj
-(32): ReSharper Parameter Name Hint: : string
+(31): ReSharper Parameter Name Hint: : obj -> obj 
+(32): ReSharper Parameter Name Hint: : string 
 (33): ReSharper Parameter Name Hint: : int
 (34): ReSharper Parameter Name Hint: : string
 (35): ReSharper Parameter Name Hint: : int
 (36): ReSharper Parameter Name Hint: : string
 (37): ReSharper Parameter Name Hint: : int
 (38): ReSharper Parameter Name Hint: : int
 (39): ReSharper Parameter Name Hint: : int
-(40): ReSharper Parameter Name Hint: : int
+(40): ReSharper Parameter Name Hint: : int 
 (41): ReSharper Parameter Name Hint: : int
-(42): ReSharper Parameter Name Hint: : unit
-(43): ReSharper Parameter Name Hint: : string
+(42): ReSharper Parameter Name Hint: : unit 
+(43): ReSharper Parameter Name Hint: : string 
 (44): ReSharper Parameter Name Hint: : string
 (45): ReSharper Parameter Name Hint: : string
 (46): ReSharper Parameter Name Hint: : string
-(47): ReSharper Parameter Name Hint: : IFormattable
+(47): ReSharper Parameter Name Hint: : IFormattable 
 (48): ReSharper Parameter Name Hint: : string
 (49): ReSharper Parameter Name Hint: : IFormatProvider
-(50): ReSharper Parameter Name Hint: : string
+(50): ReSharper Parameter Name Hint: : string 
 (51): ReSharper Parameter Name Hint: : bool
 (52): ReSharper Parameter Name Hint: : int
-(53): ReSharper Parameter Name Hint: : string
+(53): ReSharper Parameter Name Hint: : string 
 (54): ReSharper Parameter Name Hint: : bool
-(55): ReSharper Parameter Name Hint: : Choice<int,string>
-(56): ReSharper Parameter Name Hint: : 'b option
+(55): ReSharper Parameter Name Hint: : Choice<int,string> 
+(56): ReSharper Parameter Name Hint: : 'b option 

ReSharper.FSharp/test/data/features/daemon/typeHints/Signatures - Top level 01.fs.gold

@@ -137,7 +137,7 @@ let (|ActiveOption|_|) _ ||(42)= None
 (9): ReSharper Parameter Name Hint: : 'l
 (10): ReSharper Parameter Name Hint: : 'm
 (11): ReSharper Parameter Name Hint: : KeyValuePair<'l,'m>
-(12): ReSharper Parameter Name Hint: : unit
+(12): ReSharper Parameter Name Hint: : unit 
 (13): ReSharper Parameter Name Hint: : int
 (14): ReSharper Parameter Name Hint: : int
 (15): ReSharper Parameter Name Hint: : 'a -> unit
@@ -146,25 +146,25 @@ let (|ActiveOption|_|) _ ||(42)= None
 (18): ReSharper Parameter Name Hint: : string array
 (19): ReSharper Parameter Name Hint: : int
 (20): ReSharper Parameter Name Hint: : int
-(21): ReSharper Parameter Name Hint: : int
-(22): ReSharper Parameter Name Hint: : obj -> obj
-(23): ReSharper Parameter Name Hint: : string
+(21): ReSharper Parameter Name Hint: : int 
+(22): ReSharper Parameter Name Hint: : obj -> obj 
+(23): ReSharper Parameter Name Hint: : string 
 (24): ReSharper Parameter Name Hint: : int
 (25): ReSharper Parameter Name Hint: : int
 (26): ReSharper Parameter Name Hint: : string
 (27): ReSharper Parameter Name Hint: : int
 (28): ReSharper Parameter Name Hint: : int
 (29): ReSharper Parameter Name Hint: : int
-(30): ReSharper Parameter Name Hint: : int
-(31): ReSharper Parameter Name Hint: : unit
-(32): ReSharper Parameter Name Hint: : string
+(30): ReSharper Parameter Name Hint: : int 
+(31): ReSharper Parameter Name Hint: : unit 
+(32): ReSharper Parameter Name Hint: : string 
 (33): ReSharper Parameter Name Hint: : string
 (34): ReSharper Parameter Name Hint: : string
 (35): ReSharper Parameter Name Hint: : string
-(36): ReSharper Parameter Name Hint: : IFormattable
+(36): ReSharper Parameter Name Hint: : IFormattable 
 (37): ReSharper Parameter Name Hint: : bool
 (38): ReSharper Parameter Name Hint: : int
-(39): ReSharper Parameter Name Hint: : string
+(39): ReSharper Parameter Name Hint: : string 
 (40): ReSharper Parameter Name Hint: : bool
-(41): ReSharper Parameter Name Hint: : Choice<int,string>
-(42): ReSharper Parameter Name Hint: : 'b option
+(41): ReSharper Parameter Name Hint: : Choice<int,string> 
+(42): ReSharper Parameter Name Hint: : 'b option 

ReSharper.FSharp/test/data/features/daemon/typeHints/Signatures - Unfinished declarations 01.fs.gold

@@ -24,11 +24,11 @@ module M3 =
 
 ---------------------------------------------------------
 (0): ReSharper Parameter Name Hint: : 'a
-(1): ReSharper Parameter Name Hint: : unit
+(1): ReSharper Parameter Name Hint: : unit 
 (2): ReSharper Parameter Name Hint: : int
 (3): ReSharper Parameter Name Hint: : char
 (4): ReSharper Parameter Name Hint: : 'a
 (5): ReSharper Parameter Name Hint: : obj
 (6): ReSharper Parameter Name Hint: : obj
 (7): ReSharper Parameter Name Hint: : obj
-(8): ReSharper Parameter Name Hint: : int
+(8): ReSharper Parameter Name Hint: : int