IntelliSense - Quick Info not indicating statically resolved type parameters correctely

Hi, I’m using Visual Studio Community 2015 with Visual F# 4.0

For example, the function

let inline printAsFloatingPoint number =
    printfn "%f" (float number);;

//val inline printAsFloatingPoint :
//number: ^a -> unit when  ^a : (static member op_Explicit :  ^a -> float)

would show in Quick Info, where the type parameters are supposed to be ^ident Is this behavior by design or is it a bug? It confused me while I was learning about statically resolved types and inline functions.

[TysonMN]

For what it’s worth, I was recently learning F# and static resolved type parameters and was very confused when I encountered this. I thought I didn’t correctly understand statically resolved type parameters or was failing to make use of them.

[dsyme]

I understand the POV. That said, the signature simplification was a design choice we already made in F# 2.0. It was a considerable improvement to usability that has not been the source of significant problems. So this is by design I’m afraid.

Feasibly there could be a VS option “show full detail of all type signatures in QuickInfo” but that would be a feature request?

best regards don