How does semantic information work than (showing inferred types and such stuff)?

How does code navigation work in such a setup?