Polymorphic record does not get inlay hint

[guibou]

Your environment

Which OS do you use? Linux
Which version of GHC do you use and how did you install it? GHC 9.10.1
How is your project built (alternative: link to the project)? standalone

Which LSP client (editor/plugin) do you use? Neovim+lspconfig
Which version of HLS do you use and how did you install it? I picked latest commit, so f09500b because I was excited to test.
Have you configured HLS in any way (especially: a hie.yaml file)? standalone files

Steps to reproduce

The following code:

data Foo = Foo { bar :: Int, baz :: Char }

foo = Foo 1 'a'

data FooM m = FooM { barM :: Int, bazM :: Char }

fooM = FooM 1 'a'

Expected behaviour

I would like inlay hint for the implicit fields of constructors Foo and FooM when defining foo and fooM.

More generally, it seems that inlay hints are not shown for record field when the record does have type parameters.

Actual behaviour

I only have inlay hint for Foo/foo but not for Foo/fooM:

I also tried to add type signature and monomorphise FooM:

Debug information

[guibou]

The problem is also transitive with pattern

pattern Cheval {a} = Just a

titi = Cheval 10

pattern Cheval2 {b} = Foo b

toto = Cheval2 10

Here, pattern Cheval is polymorphic, but pattern Cheval2 is not, and indeed, we see the inlay hint for Cheval2 but not Cheval:

[fendor]

Thanks for the bug report! Tagging @jetjinser, maybe they have an idea about what's up.