Use this to open other questions or issues, and provide context here. I use "pyre analyze --no-verify" in "pyre-check/stubs/integration_test" and find this error.