Code

Merge 1.1.359#303

Code

Merged

DetachHead merged 28 commits intomainDetachHead/basedpyright:mainfrom merge-1.1.359DetachHead/basedpyright:merge-1.1.359Copy head branch name to clipboardApr 17, 2024

+1,262-633

Commits

Commits on Apr 10, 2024

• Expanded support for len(x) == L type guard pattern (where x is a tuple) to support <, <=, > and >= comparisons as well. This addresses #7655. (#7657)

  erictraut

  authored
  98d1523

• Push pylance changes to pyright (#7663)

  Show description for d45ea4c
  

  6 peopleauthored
  d45ea4c

Commits on Apr 11, 2024

• Improved some diagnostic messages, moving away from the term "member" to prefer "attribute". This partly addresses #7664.

  erictraut

  committed
  27e6b0e

Commits on Apr 12, 2024

• More diagnostic message improvements: switched from "cannot assign to type" to "incompatible with type" for consistency and clarity.

  erictraut

  committed
  c212c23

• Fixed a bug that leads to inconsistent behaviors when an assignment leads to a type violation. When assigning to a local variable, the target expression is not "narrowed" to include the assigned ty…

  Show description for 8c7e67d
  erictraut

  authored
  8c7e67d

• Extended type narrowing logic for in and not in operators that target TypedDicts to also support constrained TypeVars that use TypedDicts as value constraints. This addresses #7666. (#7670)

  erictraut

  authored
  dd09712

• Fixed recent regression that results in a false positive error when applying a @property decorator to a method that has already had a decorator applied to it. This addresses #7667. (#7671)

  erictraut

  authored
  f2e277a

• Changed behavior when evaluating the upper bound expression, value constraints expression, or default expression for a PEP-695 type parameter. At runtime, these are always evaluated in a deferred m…

  Show description for 92f2284
  erictraut

  committed
  92f2284

Commits on Apr 13, 2024

• Fixed bug that results in a spurious reportAbstractUsage error when an abstract class is captured through a type[T]. This addresses #7680. (#7681)

  erictraut

  authored
  dfe4281

• Modified handling of annotated self parameter in __init__ method when evaluating constructor call so pyright conforms to the latest typing spec. This addresses #7682. (#7690)

  erictraut

  authored
  d7dce3b

• Added missing check for the errant use of class-scoped type variables in a type annotation for the "self" parameter within an "__init__" method. The typing spec now clarifies that this is illegal a…

  Show description for 567d025
  erictraut

  authored
  567d025

Commits on Apr 14, 2024

• Fixed bug that results in incorrect type evaluation when solving a ParamSpec type when there are multiple constraints provided. (#7692)

  erictraut

  authored
  975c846

• Fixed a bug in bindFunctionToClassOrObject function that resulted in incorrect results when binding a class object to a method in its metaclass. Also renamed the treatConstructorAsClassMethod par…

  Show description for 1918364
  erictraut

  committed
  1918364

• Refactored the logic related to conversion of a class constructor to a callable in prep for further bug fixes. No functional change.

  erictraut

  committed
  5c48084

• Fixed a bug that results in incorrect type evaluation when assigning a function with a NoReturn return type to a Callable[..., T].

  erictraut

  committed
  00d8f81

• Updated logic for converting a class constructor to a callable to conform to the newly-updated typing spec. This addresses #7684 and #7685. (#7693)

  erictraut

  authored
  2e537e9

• Fixed a bug that leads to a false negative when an unparenthesized assignment expression is used in a dictionary key within a dictionary expression or comprehension. This addresses #7694. (#7696)

  erictraut

  authored
  7f46092

• Changed the behavior when invoking constructor for type[T] where T is a TypeVar with no explicit upper bound (and therefore has an implicit upper bound of object). According to the newly-clar…

  Show description for 9d87fe1
  erictraut

  authored
  9d87fe1

• Modified behavior in constructor call code that previously applied some (now non-compliant) heuristics to reconcile a metaclass __call__ method with a __new__ method. The new behavior is now co…

  Show description for 653e160
  erictraut

  committed
  653e160

• Fixed broken build. I forgot to check in a test change.

  erictraut

  committed
  74880b8

• Changed behavior of conversion from class constructor to callable to conform with the typing spec in the case where the __new__ method of the class returns a value that indicates the __init__ m…

  Show description for 43fe9a7
  erictraut

  authored
  43fe9a7

• Changed behavior of conversion from class constructor to callable to conform to honor the annotated type of self in the __init__ method. This addresses #7688. (#7699)

  erictraut

  authored
  71a3b60

• Changed behavior of conversion from class constructor to callable to conform to honor return type of the __new__ method. This addresses #7687. (#7701)

  erictraut

  authored
  b1c4368

• Added a check for the case where a frozen dataclass overrides a field from its parent class but doesn't provide a default value (where its parent does). This can result in a type violation if the p…

  Show description for 8a7aed5
  erictraut

  authored
  8a7aed5

Commits on Apr 16, 2024

• Fixed bug that results in false positive error under certain circumstances that involve unions of TypeVars in an invariant context. This addresses #6957. (#7709)

  erictraut

  authored
  8912c88

Commits on Apr 17, 2024

• Published 1.1.359

  erictraut

  committed
  cc3467f

• Merge tag '1.1.359' into merge-1.1.359

  Show description for 85963c4
  DetachHead

  committed
  85963c4

• update lockfiles

  DetachHead

  committed
  f7af25f