For past few months I’ve been working on Rebindable Syntax, specifically on expanding ApplicativeDo (#24406, MR !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