Skip to content

Conversation

@dependabot
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Aug 4, 2025

Bumps pyre-check from 0.9.18 to 0.9.25.

Release notes

Sourced from pyre-check's releases.

PEP695 v0

We support basic PEP695 syntax, which includes writing generic type variables, param spec and type var tuples in the new style. We also support bounds. Let us list some sandbox examples:

1- Generic type variables for classes and methods, with bounds 2- Generic type variables for functions 3- ParamSpec 4- TypeVarTuple 5- Type Statements 6- Fully conformant bound checking

What are we not conformant on?

1- Mixing legacy and PEP695 syntax 2- PEP695 variables cannot be used in the same way that legacy style syntax when it comes to declaring them 3- We have to keep track type variable redefinitions within the program itself

Commits
  • b36d17d Add a hint about disabling model verification errors
  • 2472dd0 Shard our taint output files for the distillery integration test
  • 153dc5f Properly handle calls to a mix of functions and bounded methods
  • be06cda Store shim targets in the call graph and handle them in the analysis
  • cb4dc99 Add more integration tests for shimming
  • c4cbcd9 Add a representation for shims at a call site
  • 97adf7a Infer tito to self by default
  • 95c0e9b Preprocess out TYPE_CHECKING_WITH_PYREFLY
  • f1501df Fix youtube video CSS
  • 4425f3d Fix location of test file
  • Additional commits viewable in compare view

Dependabot compatibility score

You can trigger a rebase of this PR by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Note
Automatic rebases have been disabled on this pull request as it has been open for over 30 days.

Bumps [pyre-check](https://github.com/facebook/pyre-check) from 0.9.18 to 0.9.25.
- [Release notes](https://github.com/facebook/pyre-check/releases)
- [Commits](facebook/pyre-check@v0.9.18...v0.9.25)

---
updated-dependencies:
- dependency-name: pyre-check
  dependency-version: 0.9.25
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>
@dependabot dependabot bot added dependencies Pull requests that update a dependency file python Pull requests that update Python code labels Aug 4, 2025
@meta-cla meta-cla bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Aug 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. dependencies Pull requests that update a dependency file python Pull requests that update Python code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants