@zzzen/pyright-internal 1.2.0-dev.20220821 → 1.2.0-dev.20220911

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

@@ -60,6 +60,7 @@
         "classVarWithTypeVar": "\"ClassVar\" type cannot include type variables",
         "clsSelfParamTypeMismatch": "Type of parameter \"{name}\" must be a supertype of its class \"{classType}\"",
         "codeTooComplexToAnalyze": "Code is too complex to analyze; reduce complexity by refactoring into subroutines or reducing conditional code paths",
+        "collectionAliasInstantiation": "Type \"{type}\" cannot be instantiated, use \"{alias}\" instead",
         "comparisonAlwaysFalse": "Condition will always evaluate to False since the types \"{leftType}\" and \"{rightType}\" have no overlap",
         "comparisonAlwaysTrue": "Condition will always evaluate to True since the types \"{leftType}\" and \"{rightType}\" have no overlap",
         "comprehensionInDict": "Comprehension cannot be used with other dictionary entries",
@@ -220,6 +221,7 @@
         "keyValueInSet": "Key/value pairs are not allowed within a set",
         "keywordArgInTypeArgument": "Keyword arguments cannot be used in type argument lists",
         "keywordOnlyAfterArgs": "Keyword-only argument separator not allowed after \"*\" parameter",
+        "keywordParameterMissing": "One or more keyword parameters must follow \"*\" parameter",
         "keywordSubscriptIllegal": "Keyword arguments within subscripts are not supported",
         "lambdaReturnTypeUnknown": "Return type of lambda is unknown",
         "lambdaReturnTypePartiallyUnknown": "Return type of lambda, \"{returnType}\", is partially unknown",
@@ -294,7 +296,6 @@
         "overloadReturnTypeMismatch": "Overload {prevIndex} for \"{name}\" overlaps overload {newIndex} and returns an incompatible type",
         "overloadWithImplementation": "\"{name}\" is marked as overload, but it includes an implementation",
         "overloadWithoutImplementation": "\"{name}\" is marked as overload, but no implementation is provided",
-        "overwriteTypeParameter": "Cannot overwrite type parameter \"{name}\"",
         "paramAfterKwargsParam": "Parameter cannot follow \"**\" parameter",
         "paramAlreadyAssigned": "Parameter \"{name}\" is already assigned",
         "paramAnnotationMissing": "Type annotation is missing for parameter \"{name}\"",

package/dist/parser/parser.js

@@ -1408,6 +1408,7 @@ class Parser {
         let reportedNonDefaultParamErr = false;
         let sawKeywordOnlySeparator = false;
         let sawPositionOnlySeparator = false;
+        let sawKeywordOnlyParamAfterSeparator = false;
         let sawArgs = false;
         let sawKwArgs = false;
         while (true) {
@@ -1447,6 +1448,9 @@ class Parser {
                     sawPositionOnlySeparator = true;
                 }
                 else {
+                    if (sawKeywordOnlySeparator) {
+                        sawKeywordOnlyParamAfterSeparator = true;
+                    }
                     if (param.defaultValue) {
                         sawDefaultParam = true;
                     }
@@ -1482,6 +1486,10 @@ class Parser {
                     this._addError(localize_1.Localizer.Diagnostic.duplicateKwargsParam(), param);
                 }
                 sawKwArgs = true;
+                // A **kwargs cannot immediately follow a keyword-only separator ("*").
+                if (sawKeywordOnlySeparator && !sawKeywordOnlyParamAfterSeparator) {
+                    this._addError(localize_1.Localizer.Diagnostic.keywordParameterMissing(), param);
+                }
             }
             else if (sawKwArgs) {
                 this._addError(localize_1.Localizer.Diagnostic.paramAfterKwargsParam(), param);