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
f9b8277 Prevent users from shadowing builtins.pyi in ptt
4800c02 Add a test case showing we can shadow builtins.pyi
6e63d8e Add GK check to see if we should allow preempting
40aa399 Retry preempted type check only if type check was interrupted by another type...
7661930 Fix ParamSpec bug where we do not propagate type vars in typecheck
43ba1fe remove 300px left margin on oss pyre playground
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually 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 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)
Bumps pyre-check from 0.9.18 to 0.9.23.
Release notes
Sourced from pyre-check's releases.
Commits
f9b8277Prevent users from shadowingbuiltins.pyiin ptt4800c02Add a test case showing we can shadowbuiltins.pyi6e63d8eAdd GK check to see if we should allow preempting40aa399Retry preempted type check only if type check was interrupted by another type...7661930Fix ParamSpec bug where we do not propagate type vars in typecheck43ba1feremove 300px left margin on oss pyre playground275427dMove userage to 5XXXf6f2a48Do not use infer_variance with covariant and contravariant flags4570f27Cleanup variance inference code1ff4035Disable variance on recursive typesDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually 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