No overloads match tooltip formatting could be improved

[MangelMaxime]

Describe the bug

The formatting of the tooltip when reporting a "no overload match" can be improved.

I don't remember if they always where like that or if this is a regression.

Steps to reproduce

1. Copy the snippet below in an F# file

type Test =

    static member log (value : string) = failwith "Not implemented"
    static member log (value : bool) = failwith "Not implemented"

Test.log 1

2. Hover over Test.log

Link to sample reproduction

Expected behaviour

Screenshots

Machine info

• OS: Mac
• .NET SDK version: 8.0.100
• Ionide version: v7.17.0

Additional context

Add any other context about the problem here.

[github-actions]

🤖 This is an automated response from Repo Assist.

This is an upstream issue in FsAutoComplete. The "no overloads match" hover content is assembled by FSAC (ultimately by the F# Compiler Services ToolTipText API) and sent to VS Code verbatim — Ionide doesn't post-process the raw markdown from the hover response.

If the formatting has regressed, the most productive place to file this would be ionide/FsAutoComplete, referencing which Ionide / FSAC versions exhibit the problem. The tooltip-rendering path in FSAC starts in FsAutoComplete.Core/TypedTreeInfo.fs and the overload-mismatch diagnostic is formatted in FSharpDiagnostic-related helpers in FCS.

Generated by Repo Assist · ◷

To install this agentic workflow, run

gh aw add githubnext/agentics/workflows/repo-assist.md@10f087607af87e4e89439161f1e5d4724235f396

[MangelMaxime]

This has been fixed