Yes.

I meant 'Jump to Definition' as one clear example, not as a definitive enumeration of everything that compiler integration can help you with.

Eg compiler integration is also really useful to show you the inferred types. Even dinosaurs like old-school Java and C have (limited) type inference: inside of expressions. But of course in a language like Haskell or Rust (or even Python) this becomes much more important.