Inferred type lens doesn't match hover

[kubukoz]

Describe the bug

I encountered a situation where the inferred type being shown in a code lens doesn't match the type in the on-hover window.

To Reproduce

Steps to reproduce the behavior:

1. Import this project in metals: https://github.com/pitgull/pitgull/tree/2e96c29483ba82b98a2a05a9842633e448e7f1a7
2. Open src/main/scala/io/pg/actions.scala
3. Enable inferred type hints
4. Look at val approve's inferred type

At this time I'm not able to minimize this to a simple snippet.

Expected behavior

F[Unit] is shown

Screenshots

"Insert type" works correctly:

Installation:

• Operating system: macOS
• Editor: Visual Studio Code
• Metals version: v0.10.0

Additional context

none

Search terms

none

[kubukoz]

Checked again in 0.10.1, it's changed types again! :D

Update: still the case in 0.11.8+25-04b682be-SNAPSHOT.

[tgodzik]

Checked again in 0.10.1, it's changed types again! :D

This is a fun one :O

[jkciesluk]

I think its fine now Could you check if it works for you?

[kubukoz]

On the latest snapshot I don't seem to be getting any type hints at all... on 1.1.0, at the linked commit (2e96c29483ba82b98a2a05a9842633e448e7f1a7) it's still

but on main, with 1.1.0, it's

"Insert type" still works correctly. Looks like there's a lot of the []s now:

[tgodzik]

@kubukoz the linked commit will not work since we no longer release for that version and we moved synthetic decorations to the presentation compiler. If you check the main with the newest snapshot you should see it works properly.

[tgodzik]

Let's close this as fixed, let us know if this is still an issue after the next release.