We want to be able to display inlay hints for inferred types, as Rust does. ## Acceptance criteria * We show inlay hints for inferred types. * Tests added.