PylanceBot
1ed4cc325b
pull-pylance-with-pyright- ( #6967 )
...
Co-authored-by: GitHub Actions <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: Rich Chiodo <rchiodo@users.noreply.github.com>
2024-01-12 11:35:42 -08:00
Eric Traut
e67013e8ac
Fixed recent regression that results in a false positive error when an unpack operator is used in an Annotated
type annotation. This addresses #6963 .
2024-01-11 16:50:27 -08:00
Eric Traut
89cef4ecf3
Fixed a bug that resulted in an incorrect type evaluation for a sliced tuple if the end of the slice is the same as the tuple length (off-by-one error). This addresses #6958 .
2024-01-11 14:28:13 -08:00
Rich Chiodo
68e1ddee74
Port some of the URI fixes made in pylance back to pyright ( #6954 )
...
* Port some of the URI fixes made in pylance back to pyright
* Fix and add tests too
* Review feedback
* Forgot to add the unit tests for the serialization
2024-01-10 11:25:03 -08:00
dependabot[bot]
75f42e6ccf
Bump follow-redirects from 1.15.2 to 1.15.4 ( #6951 )
...
Bumps [follow-redirects](https://github.com/follow-redirects/follow-redirects ) from 1.15.2 to 1.15.4.
- [Release notes](https://github.com/follow-redirects/follow-redirects/releases )
- [Commits](https://github.com/follow-redirects/follow-redirects/compare/v1.15.2...v1.15.4 )
---
updated-dependencies:
- dependency-name: follow-redirects
dependency-type: indirect
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2024-01-10 00:01:39 -08:00
Yashraj Singh
05711a0794
corrected typo in configuration.md ( #6950 )
2024-01-09 23:30:29 -08:00
Eric Traut
4641f05881
Fixed a bug that resulted in incorrect inference of an async generator expression if an await
keyword was used in a for
iterator expression. This addresses #6948 . ( #6949 )
2024-01-09 19:08:03 -08:00
Eric Traut
2835c47c5a
Changed the way pyright identifies an "unimplemented protocol method" within a stub file. It now looks at whether the method is decorated with @abstractmethod
. Previously, it assumed all such methods were potentially implemented. This addresses #6946 . ( #6947 )
2024-01-09 14:38:50 -08:00
Eric Traut
a7c8526850
Fixed file type casing issue that affected Linux tests.
2024-01-09 14:04:51 -08:00
Eric Traut
bdbb630ac6
Added support for https://github.com/python/typeshed/issues/11260 .
2024-01-09 13:37:38 -08:00
Eric Traut
9e3a56dcc3
Fixed a bug that led to a false negative when using a non-data protocol class in a tuple within an issubclass
check. This addresses #6936 .
2024-01-09 12:38:33 -08:00
Eric Traut
5789a786da
Merge branch 'typeshed_update' into main
2024-01-09 12:28:04 -08:00
Eric Traut
16778e6cdd
Fixed a broken internal assumption that was violated by recent typeshed change.
2024-01-09 12:27:45 -08:00
Eric Traut
cc17eb39a5
Fixed a bug that resulted in a false positive error when using a bound TypeVar in an except
statement. This addresses #6944 . ( #6945 )
2024-01-09 11:02:03 -08:00
Eric Traut
c88987e5ac
Added code to properly print a f-string expression in pyright's "expression printer". This addresses #6399 .
2024-01-09 09:05:12 -08:00
Eric Traut
b16619a8bc
Published 1.1.345
2024-01-07 19:26:07 -08:00
Eric Traut
4edd23003f
Updated typeshed to the latest version.
2024-01-07 19:25:36 -08:00
Eric Traut
57282f76f3
Fixed a bug that led to a duplicate error message when defining a class-scoped type alias.
2024-01-06 21:46:24 -07:00
Eric Traut
69fb4b7f52
Added check for "unsafe overlaps" for a runtime-checkable protocol when used in an issubclass
or isinstance
check. This addresses #6882 . ( #6933 )
2024-01-06 21:44:33 -07:00
Eric Traut
ba06108bcb
Added missing error for an illegal unpacked argument in type argument list.
...
(cherry picked from commit 7a9165b716
)
2024-01-06 21:14:38 -07:00
Eric Traut
1f74459b6a
Fixed a bug that resulted in a false negative when specializing a generic type alias parameterized by a regular TypeVar with an unpacked tuple. This addresses #6903 .
...
(cherry picked from commit d76c8fa643
)
2024-01-06 21:14:14 -07:00
Eric Traut
e06aaa88cd
Added missing check for the specialization of a generic type alias that includes a TypeVarTuple plus two or more TypeVars. This addresses #6904 .
2024-01-06 21:11:45 -07:00
Eric Traut
064f02e15e
Fixed a bug that led to incorrect type evaluation when a constrained TypeVar includes literal types as constraints. This addresses #6917 . ( #6929 )
2024-01-06 15:19:03 -07:00
Eric Traut
9b64d81c94
Fixed bug that leads to a false positive when a generic property is defined within a protocol. This addresses #6877 . ( #6928 )
2024-01-06 14:55:37 -07:00
Eric Traut
1886fb8b1b
Added check for data protocols used in an issubclass
call. PEP 544 indicates that this isn't allowed. This addresses #6881 . ( #6926 )
2024-01-06 14:20:50 -07:00
Eric Traut
ec0785afab
Implemented small performance improvement by not generating error messages during protocol TypeVar variance validation.
2024-01-06 10:19:50 -07:00
Eric Traut
0674b096fc
Added check for a call to an unimplemented method in a protocol from a base class that explicitly calls it. This addresses #6880 . ( #6925 )
2024-01-06 09:00:02 -07:00
Eric Traut
70b2d47afd
Improved type analysis performance in certain cases involving complex code flow graphs and "truthy" conditional statements. This addresses #6890 . ( #6922 )
2024-01-05 23:58:45 -07:00
Eric Traut
4b6d636206
Fixed bug in protocol matching logic to reject a protocol match if a variable is a ClassVar
in the protocol but not in the concrete class (or vice versa). This addresses #6869 . ( #6920 )
2024-01-05 16:14:48 -07:00
Eric Traut
818b423eb0
Added missing check for inconsistent use of @final
in an overloaded function. Added missing check for override of an overloaded method marked @final
. This addresses #6860 and #6866 . ( #6918 )
2024-01-05 12:38:52 -07:00
Eric Traut
24d9890f36
Added sidebar link to locale documentation section.
2024-01-05 09:46:10 -07:00
Eric Traut
4afd9a4295
Added documentation for overriding the locale via env variables.
2024-01-05 09:44:27 -07:00
Eric Traut
930ff06e55
Improved evaluation logic for tuple slices. It now works in cases where the tuple includes unbounded entries or unpacked TypeVarTuples. This addresses #6906 . ( #6913 )
2024-01-05 00:13:54 -07:00
Eric Traut
d0100aca93
Added support for constants for field names in NamedTuple
call. This addresses #6878 .
2024-01-04 20:41:11 -07:00
Eric Traut
1a701e4f7b
Removed support for Union[*Ts]
and Union[*tuple[...]]
. This functionality was included in an early draft of PEP 646 but was dropped in the final spec. The functionality can still be used in pyright if useExperimentalFeatures
is set to true, but it will likely be removed entirely in the future. This addresses #6892 . ( #6912 )
2024-01-04 20:17:05 -07:00
Eric Traut
7893909701
Fixed bug that resulted in incorrect type evaluation when a PEP-695 TypeVar is shadowed by an identifier of the same name within an inner scope. This addresses #6900 . ( #6911 )
2024-01-04 17:29:42 -07:00
Eric Traut
839414cf51
Added code to report when the Concatentate
special form is used in an illegal context. This addresses #6898 . ( #6910 )
2024-01-04 16:13:37 -07:00
Eric Traut
34fb4bd71e
Fixed a bug that led to an incorrect type evaluation for an explicitly-specialized class parameterized with a ParamSpec. This addresses #6899 . ( #6909 )
2024-01-04 15:42:32 -07:00
Eric Traut
677bb1306b
Fixed false negative for a TypeVarTuple
constructor call that includes value constraints. This addresses #6901 .
2024-01-04 14:58:22 -07:00
Rich Chiodo
38b51fa735
Potential fix for config options crash ( #6889 )
...
* Potential fix for config options crash
* Fix problem with json stringifying a map
2024-01-03 10:15:56 -08:00
Eric Traut
bd137351ca
Deleted incorrect comments from test case (a result of copy-and-paste from another test). No functional change.
2024-01-02 15:29:32 -07:00
Rich Chiodo
b914296752
Make sure web uris aren't read from disk ( #6884 )
2024-01-02 12:48:08 -08:00
Eric Traut
8f02660e2d
Improved error reporting for incompatible overrides.
2024-01-01 14:39:17 -07:00
Eric Traut
ab2d3eb303
Improved error message for protocol classes that derive from non-protocol classes.
2024-01-01 14:32:21 -07:00
Eric Traut
a635a725a0
Updated documentation to refer to "value-constrained" TypeVars rather than just "constrained TypeVars", since all TypeVars are constrained in some manner.
2023-12-31 00:19:46 -07:00
Eric Traut
916ef9cdf5
Merge branch 'sortDiags' into main
2023-12-30 18:34:08 -07:00
Eric Traut
2342025312
Added a missing error condition for a non-method function that is marked @final
. This addresses #6861 .
2023-12-30 18:33:28 -07:00
Eric Traut
628c170d86
Fixed bug that led to false negative when a list expression was used within the first type argument of an Annotated
type expression. This addresses #6863 .
2023-12-30 18:24:14 -07:00
Eric Traut
68c1a71e45
Changed CLI to sort diagnostics by location within a file. ( #6862 )
2023-12-30 01:24:08 -07:00
Eric Traut
a807c07632
Changed CLI to sort diagnostics by location within a file.
2023-12-30 01:15:25 -07:00