After paket install / dotnet restore, Ionide gets totally confused

[isaacabraham]

If I do a paket install from the command line which adds a new dependency, Ionide gets confused: all tooltips die and intellisense dies, and the hints above symbols get replaced with errors:

As soon as you type something, it magically goes away. HOWEVER, the newly added dependency still does not show up until you manually run dotnet restore and restart Code.

[open-collective-bot[bot]]

Hey @isaacabraham :wave:,

Thank you for opening an issue. We will get back to you as soon as we can. Also, check out our OpenCollective and consider backing us.

https://opencollective.com/ionide

PS.: We offer backer support for all backers. Don't forget to add backer label when you start backing us :smile:

[isaacabraham]

Repro steps:

1. Create a brand new console app dotnet new console -lang F#.
2. Add following code to Program.fs:

open Saturn

let app = application {
    no_router
}

run app

Obviously the type checker at this point doesn't know anything and it's all obj - completely expected.

3. Paket init.
4. Create a dependencies file as so:

source https://www.nuget.org/api/v2
storage: none
framework: auto-detect
nuget Saturn

5. Add paket.references file Saturn
6. Run paket install

Sometimes I see this:

or still just obj.

However sometimes after pressing any key and modifying the code file, code lens will refresh itself correctly:

I thought this might be a paket thing but it also happens if I use native Nuget.