@zzzen/pyright-internal 1.2.0-dev.20230709 → 1.2.0-dev.20230723

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

@@ -268,6 +268,7 @@
         "namedTupleEmptyName": "Names within a named tuple cannot be empty",
         "namedTupleMultipleInheritance": "Multiple inheritance with NamedTuple is not supported",
         "namedTupleFirstArg": "Expected named tuple class name as first argument",
+        "namedTupleNameKeyword": "Field names cannot be a keyword",
         "namedTupleNameType": "Expected two-entry tuple specifying entry name and type",
         "namedTupleNameUnique": "Names within a named tuple must be unique",
         "namedTupleNoTypes": "\"namedtuple\" provides no types for tuple entries; use \"NamedTuple\" instead",
@@ -426,8 +427,9 @@
         "typeAliasTypeNameMismatch": "Name of type alias must match the name of the variable to which it is assigned",
         "typeAliasTypeParamInvalid": "Type parameter list must be a tuple containing only TypeVar, TypeVarTuple, or ParamSpec",
         "typeArgListExpected": "Expected ParamSpec, ellipsis, or list of types",
-        "typeAnnotationCall": "Illegal type annotation: call expression not allowed",
-        "typeAnnotationVariable": "Illegal type annotation: variable not allowed unless it is a type alias",
+        "typeAnnotationCall": "Call expression not allowed in type expression",
+        "typeAnnotationVariable": "Variable not allowed in type expression",
+        "typeAnnotationWithCallable": "Type argument for \"type\" must be a class; callables are not supported",
         "typeArgListNotAllowed": "List expression not allowed for this type argument",
         "typeArgsExpectingNone": "Expected no type arguments for class \"{name}\"",
         "typeArgsMismatchOne": "Expected one type argument but received {received}",
@@ -687,9 +689,9 @@
         "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",
+        "typeVarIsContravariant": "Type parameter \"{name}\" is contravariant, but \"{sourceType}\" is not a supertype of \"{destType}\"",
+        "typeVarIsCovariant": "Type parameter \"{name}\" is covariant, but \"{sourceType}\" is not a subtype of \"{destType}\"",
+        "typeVarIsInvariant": "Type parameter \"{name}\" is invariant, but \"{sourceType}\" is not the same as \"{destType}\"",
         "typeVarNotAllowed": "TypeVar or generic type with type arguments not allowed",
         "typeVarUnsolvableRemedy": "Provide an overload that specifies the return type when the argument is not supplied",
         "typeVarsMissing": "Missing type variables: {names}",