Changes to HIE File due to ApplicativeDo going via HsExpansions

Dear ghc-devs, For past few months I’ve been working on Rebindable Syntax<https://gitlab.haskell.org/ghc/ghc/-/wikis/Rebindable-syntax>, specifically on expanding ApplicativeDo (#24406, MR !12066<https://gitlab.haskell.org/ghc/ghc/-/merge_requests/12066>) statements before type checking. I noticed that there is a failing test case related to HIE files (T23540). I have been unsuccessful in debugging why this happens and/or if this has any effect on the users of HIE files. Can anyone who has experience in this area be able to take a look and guide me? Thanks! Apoorv