@JamesWidman@dgregor79 The more nuanced approaches taken in modern LSPs for modern languages (Swift and Rust at least) I think are even more powerful, at some complexity cost. But they, again, embrace graceful degradation to be effective.
Even ClangD does -- it uses hilarious amounts of recovery to go past missing headers and such in order to provide functionality, and even has multiple layers that can be used independently to fill gaps here due to the language design headwinds.