Eldoc does not show type

[tokinanpa]

When the point is over a name, the echo area shows the name, but not its type.
Instead of showing this:

const : a -> b -> a

it only shows this:

const : 

All other features of the mode are working, including the idris2-type-at-point command. It's only eldoc that's broken.

[keram]

Hello,
This is due to Idris2 itself not exposing the type to be consumed by eldoc.
Related source code is
https://github.com/idris-lang/Idris2/blob/main/src/Idris/IDEMode/SyntaxHighlight.idr#L61
I tried to uncomment code in TODO but id does not return what is expected (Example for Vect output is :type "{+({arg:813} : $resolved997) -> ({arg:816} : Type) -> Type+}")
and fix is beyond my understanding of Idris. Maybe someone else will be able to pick this :)