Pyre generates a lot of false positives like "Undefined or invalid type [11]: Annotation XXX is not defined as a type."

[PVMPATCH]

Use this to open other questions or issues, and provide context here.

Pyre generates a lot of false positives like "Undefined or invalid type [11]: Annotation XXX is not defined as a type." Why can't Pyre recognize some of the most basic types such as str, list, dict?

Are there bugs in this? I want to know how to avoid such false positives

[PVMPATCH]

[WangGithubUser]

@PVMPATCH Did you set the location of typeshed correctly?