implemented @deprecated diagnostics reporting#430

Merged

varungandhi-src merged 6 commits intosourcegraph:mainfrom

matthewnitschke-wk:implement_deprecated_diagnostics

Oct 2, 2025

Commits on Sep 26, 2025

implemented @deprecated diagnostics reporting
matthewnitschke-wk
committed

Commits on Sep 29, 2025

addressed PR comments
matthewnitschke-wk
committed

Commits on Sep 30, 2025

added multiline call diagnostic
matthewnitschke-wk
committed

Commits on Oct 1, 2025

fmt
matthewnitschke-wk
committed

Commits on Oct 2, 2025