Your environment

HLS version is Version 2.9.0.1 x86_64 ghc-9.10.1 under VSCode/Linux

Steps to reproduce

See below under actual behaviour.

Expected behaviour

Code actions on valid code should result in valid code.

Actual behaviour

Given this snippet:

data T = MkT { fa :: Int, fb :: Char}

foo :: Int -> Char -> T
foo x = (MkT x)

HLS suggests replacing (MkT x) with MkT { fa = x }.

However this fails to typecheck. As the first expression has type Char -> T while the later has type T