Often when I've just finished writing a line of code (more frequently when editing an existing line) the problem checker will report issues for previous document state that is contrary to autocompletion and shown type information,
This issue appears to be timing related (throttle vs. debounce I'd guess, or something else entirely, I read something on this a few months ago and have forgotten what was the appropriate technique called for this scenario).