JakubMisek interesting, thanks. So the second tooltip is not correct I guess, and the code completion also does not list expected members?
MarcHenderkes 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.