Add tests for pattern name and override suggestions, fix option check

Author: auduchinok

src/Compiler/Service/FSharpCheckerResults.fs

@@ -1454,7 +1454,7 @@ type internal TypeCheckInfo
                 |> Some
             | _ -> None)
 
-    let GetCompletionsForUnionCaseField pos indexOrName caseIdRange isTheOnlyField declaredItems =
+    let GetCompletionsForUnionCaseField pos indexOrName caseIdRange isTheOnlyField suggestPatternNames declaredItems =
         let declaredItems =
             declaredItems
             |> Option.bind (FilterRelevantItemsBy getItem2 None IsPatternCandidate)
@@ -1468,19 +1468,27 @@ type internal TypeCheckInfo
                 |> List.mapi (fun index _ -> Item.UnionCaseField(uci, index) |> ItemWithNoInst |> DefaultCompletionItem)
             | _ -> []
 
-        sResolutions.CapturedNameResolutions
-        |> ResizeArray.tryPick (fun r ->
-            match r.Item with
-            | Item.UnionCase(uci, _) when equals r.Range caseIdRange ->
-                let list =
-                    declaredItems
-                    |> Option.map p13
-                    |> Option.defaultValue []
-                    |> List.append (fields indexOrName isTheOnlyField uci)
+        if not suggestPatternNames then
+            declaredItems
+        else
 
-                Some(SuggestNameForUnionCaseFieldPattern g caseIdRange.End pos uci indexOrName isTheOnlyField list, r.DisplayEnv, r.Range)
-            | _ -> None)
-        |> Option.orElse declaredItems
+            sResolutions.CapturedNameResolutions
+            |> ResizeArray.tryPick (fun r ->
+                match r.Item with
+                | Item.UnionCase(uci, _) when equals r.Range caseIdRange ->
+                    let list =
+                        declaredItems
+                        |> Option.map p13
+                        |> Option.defaultValue []
+                        |> List.append (fields indexOrName isTheOnlyField uci)
+
+                    Some(
+                        SuggestNameForUnionCaseFieldPattern g caseIdRange.End pos uci indexOrName isTheOnlyField list,
+                        r.DisplayEnv,
+                        r.Range
+                    )
+                | _ -> None)
+            |> Option.orElse declaredItems
 
     let GetCompletionsForRecordField pos referencedFields declaredItems =
         declaredItems
@@ -1999,7 +2007,7 @@ type internal TypeCheckInfo
                 getDeclaredItemsNotInRangeOpWithAllSymbols ()
                 |> Option.bind (FilterRelevantItemsBy getItem2 None IsTypeCandidate)
 
-            | Some(CompletionContext.Pattern patternContext) when options.SuggestPatternNames ->
+            | Some(CompletionContext.Pattern patternContext) ->
                 match patternContext with
                 | PatternContext.UnionCaseFieldIdentifier(referencedFields, caseIdRange) ->
                     GetUnionCaseFields caseIdRange referencedFields
@@ -2008,10 +2016,10 @@ type internal TypeCheckInfo
                         completions, nenv.DisplayEnv, m)
                 | PatternContext.PositionalUnionCaseField(fieldIndex, isTheOnlyField, caseIdRange) ->
                     getDeclaredItemsNotInRangeOpWithAllSymbols ()
-                    |> GetCompletionsForUnionCaseField pos (Choice1Of2 fieldIndex) caseIdRange isTheOnlyField
+                    |> GetCompletionsForUnionCaseField pos (Choice1Of2 fieldIndex) caseIdRange isTheOnlyField options.SuggestPatternNames
                 | PatternContext.NamedUnionCaseField(fieldName, caseIdRange) ->
                     getDeclaredItemsNotInRangeOpWithAllSymbols ()
-                    |> GetCompletionsForUnionCaseField pos (Choice2Of2 fieldName) caseIdRange false
+                    |> GetCompletionsForUnionCaseField pos (Choice2Of2 fieldName) caseIdRange false options.SuggestPatternNames
                 | PatternContext.RecordFieldIdentifier referencedFields ->
                     getDeclaredItemsNotInRangeOpWithAllSymbols ()
                     |> GetCompletionsForRecordField pos referencedFields

tests/FSharp.Compiler.Service.Tests/CompletionTests.fs

@@ -373,24 +373,29 @@ let test = System.Sp{caret}
 #endif
 
 module Options =
+    let private assertItemWithOptions getOption (options: FSharpCodeCompletionOptions list) name source =
+        options
+        |> List.iter (fun options ->
+            let contains = getOption options
+            let info = Checker.getCompletionInfoWithOptions options source
+            assertItemsWithNames contains [name] info
+        )
+
     module AllowObsolete =
         let private allowObsoleteOptions = { FSharpCodeCompletionOptions.Default with SuggestObsoleteSymbols = true }
         let private disallowObsoleteOptions = { FSharpCodeCompletionOptions.Default with SuggestObsoleteSymbols = false }
 
-        let private assertItemWithOptions assertAllowed assertDisallowed name source =
-            if assertAllowed then
-                let info = Checker.getCompletionInfoWithOptions allowObsoleteOptions source
-                assertHasItemWithNames [name] info
+        let private assertItemWithOptions =
+            assertItemWithOptions _.SuggestObsoleteSymbols
 
-            if assertDisallowed then
-                let info = Checker.getCompletionInfoWithOptions disallowObsoleteOptions source
-                assertHasNoItemsWithNames [name] info
+        let assertItem (name: string) source =
+            assertItemWithOptions [allowObsoleteOptions; disallowObsoleteOptions] name source
 
-        let assertItem name (source) =
-            assertItemWithOptions true true name source
+        let assertItemAllowed name source =
+            assertItemWithOptions [allowObsoleteOptions] name source
 
-        let assertItemAllowed name (source) =
-            assertItemWithOptions true false name source
+        let assertItemNotAllowed name source =
+            assertItemWithOptions [disallowObsoleteOptions] name source
 
         [<Fact>]
         let ``Prop - Instance 01`` () =
@@ -680,3 +685,40 @@ exception E
 try () with E{caret}
 """
 
+
+    module PatternNameSuggestions =
+        let private suggestPatternNames = { FSharpCodeCompletionOptions.Default with SuggestPatternNames = true }
+        let private doNotSuggestPatternNames = { FSharpCodeCompletionOptions.Default with SuggestPatternNames = false }
+
+        let assertItemWithOptions =
+            assertItemWithOptions _.SuggestPatternNames
+
+        let assertItem name source =
+            assertItemWithOptions [suggestPatternNames; doNotSuggestPatternNames] name source
+
+        [<Fact>]
+        let ``Union case field 01`` () =
+            assertItem "named" """
+type U =
+    | A of named: int
+
+match A 1 with
+| A n{caret}
+"""
+
+    module OverrideSuggestions =
+        let private suggestOverrides = { FSharpCodeCompletionOptions.Default with SuggestGeneratedOverrides = true }
+        let private doNotSuggestOverrides = { FSharpCodeCompletionOptions.Default with SuggestGeneratedOverrides = false }
+
+        let assertItemWithOptions =
+            assertItemWithOptions _.SuggestGeneratedOverrides
+
+        let assertItem name source =
+            assertItemWithOptions [suggestOverrides; doNotSuggestOverrides] name source
+
+        [<Fact>]
+        let ``Override 01`` () =
+            assertItem "this.ToString (): string = \n        base.ToString()" """
+type T() =
+    override {caret}
+"""