So, this is the first time this has happened, but it persists through restarts of VS:
interesting, thanks.
So the second tooltip is not correct I guess, and the code completion also does not list expected members?
Exactly. In the first line of the type check, it's correctly shown as Training, then in the next it's a Renting for some reason.
We have fixed a few related issues recently, I hope this one should be gone as well!