Hmm, most LSPs don't give you a very strong guarantee either (when you e.g. rename a variable).

I suppose in some languages it's undecidable in the worst case, but it should work in reasonably hygienic codebases.

Also, they tend to freeze or crash for no reason.