Code

Merge 1.1.380#664

Code

Merged

DetachHead merged 36 commits intomainDetachHead/basedpyright:mainfrom merge-1.1.380DetachHead/basedpyright:merge-1.1.380Copy head branch name to clipboardSep 10, 2024

+2,970-1,702

Commits

Commits on Sep 4, 2024

• Fixed a recent regression that results in incorrect type evaluation when using a two-argument form of super() and the second argument is type[Self]. This addresses #8763. (#8889)

  erictraut

  authored
  dda4b84

• Fixed a recent regression that results in a false positive type error when converting certain constructors (such as for the class defaultdict) to a callable type. This addresses #8840. (#8890)

  erictraut

  authored
  bf2c2bd

• Fixed recent regression that results in a false positive under certain specific circumstances involving higher-order functions that return generic callable types. This addresses #8852. (#8892)

  erictraut

  authored
  56183a3

• removed duplicated code and use same method to create default workspace key (#8893)

  heejaechang

  authored
  2fecb17

• Small tweaks to configuration.md (#8800)

  Show description for 8ffc9cb
  

  luabud

  and

  rchiodo

  authored
  8ffc9cb

• Fixed a bug that results in a false positive error during protocol matching because writable class variables defined in a named tuple or a frozen dataclass were considered read-only. This addresses…

  Show description for 9287bfa
  erictraut

  authored
  9287bfa

• Fixed a bug that causes incorrect type narrowing of expressions used within a tuple expression in the subject expression of a match statement. This addresses #8897. (#8899)

  erictraut

  authored
  49235d3

Commits on Sep 5, 2024

• Fixed a bug that results in an incorrect type evaluation of a higher-order function that is passed an overloaded function. This addresses #8898. (#8900)

  erictraut

  authored
  12d5fe1

• Added performance optimization to better handle the case where a tuple expression contains thousands of entries. This is not typically found in hand-written code, but it can appear in computer-gene…

  Show description for eeec0ec
  erictraut

  authored
  eeec0ec

• Minor function rename for clarity. No functional change.

  erictraut

  committed
  342d4af

• Fixed recent regression that results in a false positive error under very specific circumstances involving a function with a TypeVar used in both a contravariant and covariant context and combined …

  Show description for 97f02df
  erictraut

  authored
  97f02df

• Changed the behavior of the dictionary expansion operator (**) when used in an argument expression for a call and the operand is a TypedDict. It now takes into account the fact that a (non-closed…

  Show description for d841fb9
  erictraut

  authored
  d841fb9

Commits on Sep 6, 2024

• Removed support for python-2 raise statements with comma-delimited operands. (#8915)

  Show description for 05435ba
  erictraut

  authored
  05435ba

• Changed behavior to allow a value with type _AnnotatedAlias to be used with an implicit __getitem__ call even though this type is not documented or declared in typeshed. This addresses #8916.

  erictraut

  committed
  8191861

• Remove release.yml and trigger_pylance.yaml (#8918)

  debonte

  authored
  1b72000

Commits on Sep 7, 2024

• Added support for custom metaclasses that derive from ABCMeta. Classes instantiated from such metaclasses are now treated as abstract. This addresses #8910. (#8923)

  erictraut

  authored
  af65844

• Fixed a bug that leads to a false positive "default value is specified as ..." when using --verifytypes and the function has a decorator applied that uses a ParamSpec. This addresses #8905. (#8924)

  erictraut

  authored
  5994b3a

Commits on Sep 8, 2024

• Removed some redundant code from the isinstance type narrowing code path. (#8925)

  erictraut

  authored
  ff60144

• Simplified check for unnecessary isinstance call. Removed a bunch of redundant code and fixed a number of bugs in the process. (#8928)

  erictraut

  authored
  6c051ca

• Did another simplification pass for isinstance type narrowing. This fixes a number of inconsistent behaviors involving metaclasses. (#8929)

  erictraut

  authored
  9b40da5

• Moved AssignTypeFlags enumeration from typeUtils to typeEvaluatorTypes module, which is a more appropriate place.

  erictraut

  committed
  df40379

• Did another simplification pass for isinstance type narrowing. This brings isinstance narrowing more closely in line with TypeIs narrowing. (#8931)

  erictraut

  authored
  d1f9cdc

• Fixed a bug that leads to incorrect type narrowing with isinstance or TypeIs when the filter type (the second argument to isinstance) is a subclass of type. This addresses #8691 and #8686. …

  Show description for 8faec96
  erictraut

  authored
  8faec96

Commits on Sep 9, 2024

• Fixed bug that results in incorrect type narrowing for the in (containment) operator when the filter includes class objects (instances of type). This addresses #8866. (#8935)

  erictraut

  authored
  ed761d9

• Fixed a bug that results in incorrect type narrowing for the x is ... (ellipsis) type guard pattern. This addresses #8939. (#8940)

  erictraut

  authored
  9c52b15

Commits on Sep 10, 2024

• Fixed a bug in the stub generator so it properly outputs type aliases that use the PEP 613 TypeAlias qualifier.

  erictraut

  committed
  b2fc167

• Fixed a bug in the stub generator to avoid emitting a from __future__ import statement, which has no meaning in stub files.

  erictraut

  committed
  76ae26c

• Fixed bug that causes a crash in the language server under certain circumstances with partially-written code that has syntax errors.

  erictraut

  committed
  498dd2f

• Updated execution environment documentation.

  erictraut

  committed
  1c44776

• Removed some debugging code that was accidentally left in.

  erictraut

  committed
  9f38f8d

• Fixed a bug that results in incorrect type narrowing for TypeIs when it is used with a Callable type form. This addresses #8951. (#8952)

  erictraut

  authored
  358d7db

• Fixed several inconsistencies and bugs in the isinstance type narrowing code involving callables. (#8953)

  erictraut

  authored
  c83e30e

• Removed support for custom callable type guard pattern. Now that typeshed defines this with a TypeIs, we no longer require custom logic here. This addresses #8944. (#8954)

  erictraut

  authored
  8698e60

• Updated typeshed stubs to the latest version.

  erictraut

  committed
  e1fd479

• Published 1.1.380

  erictraut

  committed
  d91a24b

• Merge tag 'refs/tags/1.1.380' into merge-1.1.380

  Show description for 370a431
  DetachHead

  committed
  370a431