Nonexhaustive pattern warning highlights 1500 lines

I think it does not make sense to highlight the full case expression including hundreds of branches for an non-exhaustive pattern warning. <img width="618" height="625" alt="Image" src="https://github.com/user-attachments/assets/f982d5cd-6f2f-4d47-b13e-e7b3ed46992d" /> <img width="701" height="618" alt="Image" src="https://github.com/user-attachments/assets/75eb6b37-2189-4d14-b4cc-738297a5f158" />