Add missing expr to type annotation

[gnrkr789]

Close #160, #161 , #162

• Remove duplicate warns
• Fix wrong msg

[Copilot]

Pull request overview

This PR addresses several reported Type Annotation and LSP diagnostic issues by expanding SynType handling for type annotations, removing duplicate diagnostics at the collection layer, and aligning an incorrect LSP line-ending warning message with the existing LineConvention behavior.

Changes:

• Handle SynType.Paren and SynType.Anon in TypeAnnotationConvention.checkPat to avoid falling through to the “TODO” warning path.
• Deduplicate diagnostics in Diagnostics.reportWarn when collecting into a LintContext.
• Add regression tests for paren/anon type annotations and for duplicate : spacing diagnostics; fix the LSP scanWorkspace line-ending message.

Reviewed changes

Copilot reviewed 5 out of 5 changed files in this pull request and generated 2 comments.

Show a summary per file

File	Description
src/FSLint/TypeAnnotationConvention.fs	Adds missing SynType cases for type annotation checking.
src/FSLint/Diagnostics.fs	Adds duplicate-diagnostic suppression when accumulating LintContext.Errors.
src/FSLint.Tests/TypeAnnotationTests.fs	Adds tests for paren/anon param types and for diagnostic deduplication.
src/FSLint.Tests/Lint.fs	Adds helper to lint and return collected errors for assertions.
src/FSLint.LanguageServer/Program.fs	Fixes scanWorkspace line-ending warning message text.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.