Mis-scope of let-binding declarations immediately followed by signatures

[mixphix]

The first local signature (for x :: ()) in the image below should have the same scope as the signature for y below it:

[JustusAdam]

Yeah it should, but the VSCode grammar infrastructure doesn't have parser capabilities that are powerful enough to distinguish the two cases. I can elaborate more in case you want to take a stab at it, but as far as I am concerned this won't (be able to) get fixed.

[KristianBalaj]

+1