Code

Merge 1.1.376#575

Code

Merged

DetachHead merged 44 commits intomainDetachHead/basedpyright:mainfrom merge-1.1.376DetachHead/basedpyright:merge-1.1.376Copy head branch name to clipboardAug 14, 2024

+3,350-3,008

Commits

Commits on Aug 7, 2024

• Updated example execution environments in documentation to include type checking settings.

  erictraut

  committed
  d2c0938

• Added small optimization that skips checks for overload consistency if these diagnostics are suppressed.

  erictraut

  committed
  51c98aa

• Added optimization to shortcut overlapping overload checks if the diagnostic is suppressed.

  erictraut

  committed
  3d52679

Commits on Aug 8, 2024

• Fixed bug that results in a crash when an empty tuple is used to specialize a generic type alias parameterized by a ParamSpec. This addresses #8694.

  erictraut

  committed
  8c628b0

• Modified OverloadedFunctionType interface in preparation for a follow-on change. Users of OverloadedFunctionType must now use the accessor functions to get the overloads and implementation. (#8695)

  erictraut

  authored
  2b603b9

• Fixed a bug that results in a false positive reportInconsistentOverload error when the implementation of the overload includes a decorator that changes the type of the implementation to a non-funct…

  Show description for efda709
  erictraut

  authored
  efda709

• Fixed bug that results in a false positive error when type argument for Literal doesn't follow type expression rules within a value expression context. This addresses 8696. (#8700)

  erictraut

  authored
  65ea3e9

• Removed overly-complicated (and buggy) internal function setTypeArgsRecursive. (#8703)

  erictraut

  authored
  e8f0965

• Fix fileInfo null error (#8702)

  Show description for 1f19358
  KacieKK

  authored
  1f19358

• Fixed regression that resulted in a hang when determining whether an overload implementation with generics was compatible with its overloads. This addresses #8687. (#8706)

  erictraut

  authored
  3e448e7

• Further simplified TypeVar constraint tracking and solving. Removed the need to track separate constraints for dest and src. (#8707)

  erictraut

  authored
  1d5420c

Commits on Aug 9, 2024

• Renamed OverloadedFunctionType to OverloadedType for brevity and to reflect the fact that non-function types are now supported for overloads. No functional change, just a rename. (#8708)

  erictraut

  authored
  93115f9

• Simplified internal validateArgTypes function.

  erictraut

  committed
  77dc884

• Renamed PopulateExpectedType flag and clarified its purpose.

  erictraut

  committed
  fd68169

• Fixed bug that results in a false negative reportIncompatibleMethodOverride when the child class method uses a type parameter that is scoped to the child class. This addresses #8622. (#8711)

  erictraut

  authored
  55e1681

• Cleaned up some out-of-date comments and removed a circular import.

  erictraut

  committed
  778509b

• Fixed bug that produces signatures with extra (unnecessary) positional-only and keyword-only separators when using a TypedDict with zero fields. This addresses #8712.

  erictraut

  committed
  f68a616

• Document different types of 'compiler' flags and ensure merging of flags is consistent (#8704)

  Show description for a86210c
  rchiodo

  authored
  a86210c

• Improved consistency of parameter name restrictions for the reportSelfClsParameterName check. Previously, different rules were applied to __new__ and class methods within metaclasses. This addr…

  Show description for 421a87f
  erictraut

  authored
  421a87f

• Revert "Document different types of 'compiler' flags and ensure merging of flags is consistent (#8704)"

  Show description for de0386d
  erictraut

  committed
  de0386d

• Enhanced argument-to-parameter matching logic to support dictionary unpacking where the dict key type is a union of literals. This addresses #8671. (#8724)

  erictraut

  authored
  1523509

• Reapply the compiler flags change but separate out the 'language server' specific settings (#8726)

  Show description for 2aa9bf4
  rchiodo

  authored
  2aa9bf4

Commits on Aug 10, 2024

• Special case pythonPath to also come from the languageServer (#8728)

  Show description for f85e257
  rchiodo

  authored
  f85e257

• Fixed a false positive error when solving type variables in a call that involves a lambda. This addresses #8714. (#8730)

  erictraut

  authored
  4fc5de5

• Fixed a bug in the code that detects attribute docstrings to prevent it from walking all the way to the top of the parse tree.

  erictraut

  committed
  465b04c

• Changed synthesized comparison methods (__lt__, etc.) for dataclasses when order=True to use Self rather than an instance of the class. This is not only more consistent with other synthesized…

  Show description for 1a17c0a
  erictraut

  authored
  1a17c0a

• Updated typescript compiler version from 5.2 to 5.5.4 to avoid a bug I was hitting.

  erictraut

  committed
  07ca233

• Renamed some internal functions for readability and added options parameter to getEffectiveReturnType function. This is in preparation for a more involved change to fix #8723. (#8736)

  erictraut

  authored
  913d18d

• Added small performance optimization in checker to avoid generating a diagnostic message in cases where it won't be used.

  erictraut

  committed
  2b82d07

• Another round of simplification for callable return types. (#8737)

  erictraut

  authored
  3905cfb

Commits on Aug 11, 2024

• Removed some unnecessary special casing of None in type guard logic. (#8740)

  erictraut

  authored
  142daa0

• Fixed bug that results in a confusing type in an error message when isinstance type narrowing between a type and another type creates a subclass. (#8741)

  erictraut

  authored
  fe3eca3

• Removed vestigial code in Union type arg logic.

  erictraut

  committed
  2c9c424

• Did some code cleanup with unpacked tuples and TypeVarTuples.

  erictraut

  committed
  aff4bfb

Commits on Aug 12, 2024

• Fixed bug that leads to false positive error when a protocol has a read-only property a class has a Final variable. This addresses #8744. (#8747)

  erictraut

  authored
  cef8bbb

Commits on Aug 13, 2024

• Changed behavior for protocols that have methods with method-scoped type variables. These are no longer treated as free type variables during protocol matching, so they can be used to support rank-…

  Show description for c9a4eb2
  erictraut

  authored
  c9a4eb2

• Fixed bug that leads to a hang under certain circumstances involving deeply-nested higher-order functions. This addresses #8723. (#8752)

  erictraut

  authored
  796a483

• Fixed bug that results in a confusing type in an error message when isinstance type narrowing between a type and another type creates a subclass. (#8753)

  erictraut

  authored
  75dfc6b

• Published 1.1.376

  erictraut

  committed
  7fd5ed2

Commits on Aug 14, 2024

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

  Show description for 06fb71f
  DetachHead

  committed
  06fb71f

• ban usage of console.error to prevent upstream changes from introducing new errors that aren't properly handled & fix some type errors from the merge

  DetachHead

  committed
  f89029f

• fix type error in test

  DetachHead

  committed
  0f5ce92

• fix typescript version mismatch in browser-basedpyright package

  DetachHead

  committed
  42d9a56

• delete test for stupid upstream change that i reverted which disables typechecking in the lsp by default

  DetachHead

  committed
  04c2982