Inlay hints for types of holes in terms

[Jashweii]

When you have a _ hole in a haskell program, it would be nice if HLS rendered the expected type
I.e. if you could see ( _x :: Bool) similar to the type signature suggestions below.

This only really saves having to hover over the text to read the diagnostic.

I probably wouldn't want this in the situation where a type is already attached however (e.g. if I already wrote (_ :: Bool))

[michaelpj]

This would be a good use for an inlay hint.

[michaelpj]

Needs us to actually support inlay hints at all!