@zzzen/pyright-internal 1.2.0-dev.20221225 → 1.2.0-dev.20230108

package/dist/localization/package.nls.en-us.json

@@ -260,8 +260,10 @@
         "namedTupleNoTypes": "\"namedtuple\" provides no types for tuple entries; use \"NamedTuple\" instead",
         "namedTupleSecondArg": "Expected named tuple entry list as second argument",
         "newClsParam": "__new__ override should take a \"cls\" parameter",
+        "newTypeBadName": "The first argument to NewType must be a string literal",
         "newTypeLiteral": "NewType cannot be used with Literal type",
         "newTypeNotAClass": "Expected class as second argument to NewType",
+        "newTypeParamCount": "NewType requires two positional arguments",
         "newTypeProtocolClass": "NewType cannot be used with protocol class",
         "nonDefaultAfterDefault": "Non-default argument follows default argument",
         "noneNotCallable": "Object of type \"None\" cannot be called",
@@ -312,6 +314,7 @@
         "paramSpecKwargsUsage": "\"kwargs\" member of ParamSpec is valid only when used with **kwargs parameter",
         "paramSpecNotBound": "Param spec \"{type}\" has no bound value",
         "paramSpecNotUsedByOuterScope": "ParamSpec \"{name}\" has no meaning in this context",
+        "paramSpecScopedToReturnType": "ParamSpec \"{name}\" is scoped to a callable within the return type and cannot be referenced in the function body",
         "paramSpecUnknownArg": "ParamSpec does not support more than one argument",
         "paramSpecUnknownMember": "\"{name}\" is not a known member of ParamSpec",
         "paramSpecUnknownParam": "\"{name}\" is unknown parameter to ParamSpec",
@@ -441,7 +444,6 @@
         "typeParameterExistingTypeParameter": "Type parameter \"{name}\" is already in use",
         "typeParametersMissing": "At least one type parameter must be specified",
         "typeParameterNotDeclared": "Type parameter \"{name}\" is not included in the type parameter list for \"{container}\"",
-        "typeParameterOutOfScope": "Type parameter \"{name}\" has no meaning in this context",
         "typePartiallyUnknown": "Type of \"{name}\" is partially unknown",
         "typeUnknown": "Type of \"{name}\" is unknown",
         "typeVarAssignedName": "TypeVar must be assigned to a variable named \"{name}\"",
@@ -452,10 +454,12 @@
         "typeVarDefaultBoundMismatch": "TypeVar default type must be a subtype of the bound type",
         "typeVarDefaultConstraintMismatch": "TypeVar default type must be one of the constrained types",
         "typeVarFirstArg": "Expected name of TypeVar as first argument",
+        "typeVarDefaultInvalidTypeVar": "Type parameter \"{name}\" has a default type that refers to one or more type variables that are out of scope",
         "typeVarNoMember": "TypeVar \"{type}\" has no member \"{name}\"",
         "typeVarNotSubscriptable": "TypeVar \"{type}\" is not subscriptable",
         "typeVarNotUsedByOuterScope": "Type variable \"{name}\" has no meaning in this context",
         "typeVarPossiblyUnsolvable": "Type variable \"{name}\" may go unsolved if caller supplies no argument for parameter \"{param}\"",
+        "typeVarScopedToReturnType": "Type variable \"{name}\" is scoped to a callable within the return type and cannot be referenced in the function body",
         "typeVarSingleConstraint": "TypeVar must have at least two constrained types",
         "typeVarsNotInGenericOrProtocol": "Generic[] or Protocol[] must include all type variables",
         "typeVarTupleContext": "TypeVarTuple not allowed in this context",
@@ -466,6 +470,7 @@
         "typeVarUsedByOuterScope": "TypeVar \"{name}\" is already in use by an outer scope",
         "typeVarUsedOnlyOnce": "TypeVar \"{name}\" appears only once in generic function signature",
         "typeVarVariance": "TypeVar cannot be both covariant and contravariant",
+        "typeVarWithoutDefault": "\"{name}\" cannot appear after \"{other}\" in type parameter list because it has no default type",
         "unaccessedClass": "Class \"{name}\" is not accessed",
         "unaccessedFunction": "Function \"{name}\" is not accessed",
         "unaccessedImport": "Import \"{name}\" is not accessed",
@@ -644,6 +649,7 @@
         "typeNotStringLiteral": "\"{type}\" is not a string literal",
         "typeOfSymbol": "Type of \"{name}\" is \"{type}\"",
         "typeUnsupported": "Type \"{type}\" is unsupported",
+        "typeVarDefaultOutOfScope": "Type variable \"{name}\" is not in scope",
         "typeVarIsContravariant": "TypeVar \"{name}\" is contravariant",
         "typeVarIsCovariant": "TypeVar \"{name}\" is covariant",
         "typeVarIsInvariant": "TypeVar \"{name}\" is invariant",

package/dist/parser/parser.js

@@ -2851,7 +2851,9 @@ class Parser {
                 break;
             }
             if (nextTokenType !== 10 /* Colon */) {
-                sliceExpressions[sliceIndex] = this._parseTestExpression(/* allowAssignmentExpression */ false);
+                // Python 3.10 and newer allow assignment expressions to be used inside of a subscript.
+                const allowAssignmentExpression = this._parseOptions.isStubFile || this._getLanguageVersion() >= pythonVersion_1.PythonVersion.V3_10;
+                sliceExpressions[sliceIndex] = this._parseTestExpression(allowAssignmentExpression);
             }
             sliceIndex++;
             if (sliceIndex >= 3 || !this._consumeTokenIfType(10 /* Colon */)) {