Describe the Bug

A known/solved generic parameter of a list is being inferred as T when iterating over the list.

See:

The generic type of class browse_record_list(list[ListT]) has been solved correctly to be BrowseRecord in this screenshot.

However the information is lost on iteration:

If I reload the project, the issue is corrected. I'm only able to reproduce this by leaving the workspace running for some period of time.

Sandbox Link

No response

(Only applicable for extension issues) IDE Information

No response