Tooltips for types should show direct base types only

src/Compiler/Checking/NicePrint.fs

@@ -2050,6 +2050,7 @@ module TastDefinitionPrinting =
             GetIntrinsicConstructorInfosOfType infoReader m ty
             |> List.filter (fun minfo -> IsMethInfoAccessible amap m ad minfo && not minfo.IsClassConstructor && shouldShow minfo.ArbitraryValRef)
 
+        // Get base interfaces (either direct or all, depending on settings)
         let iimpls =
             if suppressInheritanceAndInterfacesForTyInSimplifiedDisplays g amap m ty then 
                 []
@@ -2058,7 +2059,11 @@ module TastDefinitionPrinting =
                 |> List.filter (fun (_, compgen, _) -> not compgen)
                 |> List.map p13
             else
-                GetImmediateInterfacesOfType SkipUnrefInterfaces.Yes g amap m ty
+                // Use immediate interfaces when showOnlyDirectBaseTypes=true, otherwise show all interfaces
+                if denv.showOnlyDirectBaseTypes then
+                    GetImmediateInterfacesOfType SkipUnrefInterfaces.Yes g amap m ty
+                else
+                    AllInterfacesOfType g amap m AllowMultiIntfInstantiations.Yes ty
 
         let iimplsLs =
             iimpls

src/Compiler/Service/ServiceDeclarationLists.fs

@@ -383,7 +383,9 @@ module DeclarationListHelpers =
                             // tooltips are space-constrained, so don't include xml doc comments
                             // on types/members. The doc comments for the actual member will still
                             // be shown in the tip.
-                            showDocumentation = false  }
+                            showDocumentation = false
+                            // only show direct base types in tooltips
+                            showOnlyDirectBaseTypes = true  }
             let layout = NicePrint.layoutTyconDefn denv infoReader ad m (* width *) tcref.Deref
             let layout = PrintUtilities.squashToWidth width layout
             let remarks = OutputFullName displayFullName pubpathOfTyconRef fullDisplayTextOfTyconRefAsLayout tcref

src/Compiler/TypedTree/TypedTreeOps.fs

@@ -3200,6 +3200,7 @@ type DisplayEnv =
       shrinkOverloads: bool
       printVerboseSignatures: bool
       escapeKeywordNames: bool
+      showOnlyDirectBaseTypes: bool
       g: TcGlobals
       contextAccessibility: Accessibility
       generatedValueLayout : Val -> Layout option
@@ -3238,6 +3239,7 @@ type DisplayEnv =
         shrinkOverloads = true
         printVerboseSignatures = false
         escapeKeywordNames = false
+        showOnlyDirectBaseTypes = false
         g = tcGlobals
         contextAccessibility = taccessPublic
         generatedValueLayout = (fun _ -> None)
@@ -3267,7 +3269,8 @@ type DisplayEnv =
                showDocumentation = true
                shrinkOverloads = false
                escapeKeywordNames = true
-               includeStaticParametersInTypeNames = true }
+               includeStaticParametersInTypeNames = true
+               showOnlyDirectBaseTypes = false }
         denv.SetOpenPaths
             [ FSharpLib.RootPath
               FSharpLib.CorePath

src/Compiler/TypedTree/TypedTreeOps.fsi

@@ -1084,6 +1084,7 @@ type DisplayEnv =
         showCsharpCodeAnalysisAttributes: bool
         showOverrides: bool
         showStaticallyResolvedTyparAnnotations: bool
+        showOnlyDirectBaseTypes: bool
         showNullnessAnnotations: bool option
         abbreviateAdditionalConstraints: bool
         showTyparDefaultConstraints: bool