Merge pull request #15461 from dotnet/merges/main-to-release/net8

Author: vzarytovskii

src/Compiler/Checking/NicePrint.fs

@@ -1266,8 +1266,21 @@ module PrintTastMemberOrVals =
                 layoutTyconRef denv vref.MemberApparentEntity ^^ SepL.dot ^^ nameL
             else
                 nameL
+
+        let memberHasSameTyparNameAsParentTypeTypars =
+            let parentTyparNames =
+                vref.DeclaringEntity.TyparsNoRange
+                |> Seq.choose (fun tp -> if tp.typar_id.idText = unassignedTyparName then None else Some tp.typar_id.idText)
+                |> set
+            niceMethodTypars
+            |> Seq.exists (fun tp -> parentTyparNames.Contains tp.typar_id.idText)
+
         let typarOrderMismatch = isTyparOrderMismatch niceMethodTypars argInfos
-        let nameL = if denv.showTyparBinding || typarOrderMismatch then layoutTyparDecls denv nameL true niceMethodTypars else nameL
+        let nameL =
+            if denv.showTyparBinding || typarOrderMismatch || memberHasSameTyparNameAsParentTypeTypars then
+                layoutTyparDecls denv nameL true niceMethodTypars
+            else
+                nameL
         let nameL = layoutAccessibility denv vref.Accessibility nameL
         nameL
 

src/Compiler/Service/FSharpCheckerResults.fs

@@ -889,14 +889,14 @@ type internal TypeCheckInfo
                 match minfos with
                 | [] -> CompletionItemKind.Method false
                 | minfo :: _ -> CompletionItemKind.Method minfo.IsExtensionMember
+            | Item.AnonRecdField _
             | Item.RecdField _
             | Item.Property _ -> CompletionItemKind.Property
             | Item.Event _ -> CompletionItemKind.Event
             | Item.ILField _
             | Item.Value _ -> CompletionItemKind.Field
             | Item.CustomOperation _ -> CompletionItemKind.CustomOperation
             // These items are not given a completion kind. This could be reviewed
-            | Item.AnonRecdField _
             | Item.ActivePatternResult _
             | Item.CustomOperation _
             | Item.CtorGroup _

tests/FSharp.Compiler.ComponentTests/Signatures/TestCasesForGenerationRoundTrip/generic-member.fsx

@@ -0,0 +1,9 @@
+module V
+
+type 'a Foo =
+    {
+        Bar: 'a array
+        D: int
+    }
+    member _.Make1<'b> (array: 'a array) : 'a Foo = failwith "meh"
+    member _.Make2<'a> (array: 'a array) : 'a Foo = failwith "meh"

tests/service/CompletionTests.fs

@@ -17,13 +17,6 @@ let assertHasItemWithNames names (completionInfo: DeclarationListInfo) =
     for name in names do
         Assert.That(Set.contains name itemNames, name)
 
-let assertHasExactlyNamesAndNothingElse names (completionInfo: DeclarationListInfo) =
-    let itemNames = getCompletionItemNames completionInfo |> set
-    let expectedNames = Set.ofList names
-
-    Assert.That(itemNames, Is.EqualTo expectedNames)
-
-
 [<Test>]
 let ``Expr - record - field 01 - anon module`` () =
     let info = getCompletionInfo "{ Fi }" (4, 3)  """
@@ -62,12 +55,4 @@ let record = { Field = 1 }
 
 {  }
 """
-    assertHasItemWithNames ["Field"; "record"] info
-
-[<Test>]
-let ``Expr - array of anonymous records`` () =
-    let info = getCompletionInfo "x[0]." (3, 6) """
-let x = [ {| Name = "foo" |} ]
-x[0].
-"""  
-    assertHasExactlyNamesAndNothingElse ["Name"; "Equals"; "GetHashCode"; "GetType"; "ToString"] info
+    assertHasItemWithNames ["Field"; "record"] info

vsintegration/tests/FSharp.Editor.Tests/CompletionProviderTests.fs

@@ -1450,3 +1450,13 @@ let t2 (x: {| D: NestdRecTy; E: {| a: string |} |}) = {| x with E.a = "a"; D.B =
             "let t2 (x: {| D: NestdRecTy; E: {| a: string |} |}) = {| x with E.a = \"a\"; D.",
             [ "B"; "C" ]
         )
+
+    [<Fact>]
+    let ``Anonymous record fields have higher priority than methods`` () =
+        let fileContents =
+            """
+let x = [ {| Goo = 1; Foo = "foo" |} ]
+x[0].
+"""
+
+        VerifyCompletionListExactly(fileContents, "x[0].", [ "Foo"; "Goo"; "Equals"; "GetHashCode"; "GetType"; "ToString" ])