@zzzen/pyright-internal 1.2.0-dev.20230813 → 1.2.0-dev.20230827

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (122) hide show
  1. package/dist/analyzer/binder.js +8 -2
  2. package/dist/analyzer/binder.js.map +1 -1
  3. package/dist/analyzer/checker.d.ts +1 -0
  4. package/dist/analyzer/checker.js +123 -70
  5. package/dist/analyzer/checker.js.map +1 -1
  6. package/dist/analyzer/codeFlowEngine.js +23 -1
  7. package/dist/analyzer/codeFlowEngine.js.map +1 -1
  8. package/dist/analyzer/constraintSolver.js +2 -1
  9. package/dist/analyzer/constraintSolver.js.map +1 -1
  10. package/dist/analyzer/constructorTransform.js +1 -1
  11. package/dist/analyzer/constructorTransform.js.map +1 -1
  12. package/dist/analyzer/dataClasses.js +242 -236
  13. package/dist/analyzer/dataClasses.js.map +1 -1
  14. package/dist/analyzer/decorators.js +11 -6
  15. package/dist/analyzer/decorators.js.map +1 -1
  16. package/dist/analyzer/deprecatedSymbols.d.ts +9 -0
  17. package/dist/analyzer/deprecatedSymbols.js +292 -0
  18. package/dist/analyzer/deprecatedSymbols.js.map +1 -0
  19. package/dist/analyzer/docStringConversion.js +7 -1
  20. package/dist/analyzer/docStringConversion.js.map +1 -1
  21. package/dist/analyzer/enums.js +12 -0
  22. package/dist/analyzer/enums.js.map +1 -1
  23. package/dist/analyzer/importResolver.js +8 -1
  24. package/dist/analyzer/importResolver.js.map +1 -1
  25. package/dist/analyzer/namedTuples.js +6 -0
  26. package/dist/analyzer/namedTuples.js.map +1 -1
  27. package/dist/analyzer/operations.d.ts +1 -1
  28. package/dist/analyzer/operations.js +2 -2
  29. package/dist/analyzer/operations.js.map +1 -1
  30. package/dist/analyzer/parameterUtils.d.ts +2 -1
  31. package/dist/analyzer/parameterUtils.js +15 -0
  32. package/dist/analyzer/parameterUtils.js.map +1 -1
  33. package/dist/analyzer/program.d.ts +3 -3
  34. package/dist/analyzer/program.js +5 -9
  35. package/dist/analyzer/program.js.map +1 -1
  36. package/dist/analyzer/protocols.js +14 -0
  37. package/dist/analyzer/protocols.js.map +1 -1
  38. package/dist/analyzer/service.js +2 -2
  39. package/dist/analyzer/service.js.map +1 -1
  40. package/dist/analyzer/sourceFile.js +1 -0
  41. package/dist/analyzer/sourceFile.js.map +1 -1
  42. package/dist/analyzer/typeEvaluator.js +713 -529
  43. package/dist/analyzer/typeEvaluator.js.map +1 -1
  44. package/dist/analyzer/typeEvaluatorTypes.d.ts +1 -1
  45. package/dist/analyzer/typeEvaluatorTypes.js +2 -2
  46. package/dist/analyzer/typeEvaluatorTypes.js.map +1 -1
  47. package/dist/analyzer/typeGuards.js +18 -4
  48. package/dist/analyzer/typeGuards.js.map +1 -1
  49. package/dist/analyzer/typePrinter.js +3 -0
  50. package/dist/analyzer/typePrinter.js.map +1 -1
  51. package/dist/analyzer/typeUtils.d.ts +3 -2
  52. package/dist/analyzer/typeUtils.js +30 -7
  53. package/dist/analyzer/typeUtils.js.map +1 -1
  54. package/dist/analyzer/typeVarContext.js +3 -1
  55. package/dist/analyzer/typeVarContext.js.map +1 -1
  56. package/dist/analyzer/types.d.ts +6 -1
  57. package/dist/analyzer/types.js +20 -0
  58. package/dist/analyzer/types.js.map +1 -1
  59. package/dist/common/cancellationUtils.d.ts +2 -1
  60. package/dist/common/cancellationUtils.js +3 -0
  61. package/dist/common/cancellationUtils.js.map +1 -1
  62. package/dist/common/configOptions.d.ts +1 -0
  63. package/dist/common/configOptions.js +5 -1
  64. package/dist/common/configOptions.js.map +1 -1
  65. package/dist/common/diagnosticRules.d.ts +1 -0
  66. package/dist/common/diagnosticRules.js +1 -0
  67. package/dist/common/diagnosticRules.js.map +1 -1
  68. package/dist/common/serviceProvider.d.ts +4 -3
  69. package/dist/languageServerBase.d.ts +2 -2
  70. package/dist/languageServerBase.js +4 -2
  71. package/dist/languageServerBase.js.map +1 -1
  72. package/dist/languageService/completionProvider.js +9 -3
  73. package/dist/languageService/completionProvider.js.map +1 -1
  74. package/dist/localization/localize.d.ts +25 -4
  75. package/dist/localization/localize.js +8 -2
  76. package/dist/localization/localize.js.map +1 -1
  77. package/dist/localization/package.nls.cs.json +15 -12
  78. package/dist/localization/package.nls.de.json +15 -12
  79. package/dist/localization/package.nls.en-us.json +18 -12
  80. package/dist/localization/package.nls.es.json +15 -12
  81. package/dist/localization/package.nls.fr.json +15 -12
  82. package/dist/localization/package.nls.it.json +15 -12
  83. package/dist/localization/package.nls.ja.json +15 -12
  84. package/dist/localization/package.nls.ko.json +15 -12
  85. package/dist/localization/package.nls.pl.json +15 -12
  86. package/dist/localization/package.nls.pt-br.json +15 -12
  87. package/dist/localization/package.nls.qps-ploc.json +15 -12
  88. package/dist/localization/package.nls.ru.json +15 -12
  89. package/dist/localization/package.nls.tr.json +15 -12
  90. package/dist/localization/package.nls.zh-cn.json +15 -12
  91. package/dist/localization/package.nls.zh-tw.json +14 -11
  92. package/dist/parser/parser.d.ts +1 -0
  93. package/dist/parser/parser.js +80 -18
  94. package/dist/parser/parser.js.map +1 -1
  95. package/dist/parser/tokenizer.d.ts +1 -1
  96. package/dist/parser/tokenizer.js +9 -5
  97. package/dist/parser/tokenizer.js.map +1 -1
  98. package/dist/server.js +1 -1
  99. package/dist/server.js.map +1 -1
  100. package/dist/tests/checker.test.js +34 -13
  101. package/dist/tests/checker.test.js.map +1 -1
  102. package/dist/tests/completions.test.js +39 -2
  103. package/dist/tests/completions.test.js.map +1 -1
  104. package/dist/tests/docStringConversion.test.js +23 -0
  105. package/dist/tests/docStringConversion.test.js.map +1 -1
  106. package/dist/tests/harness/fourslash/testState.d.ts +1 -1
  107. package/dist/tests/harness/fourslash/testState.js +2 -2
  108. package/dist/tests/harness/fourslash/testState.js.map +1 -1
  109. package/dist/tests/typeEvaluator1.test.js +8 -4
  110. package/dist/tests/typeEvaluator1.test.js.map +1 -1
  111. package/dist/tests/typeEvaluator2.test.js +13 -1
  112. package/dist/tests/typeEvaluator2.test.js.map +1 -1
  113. package/dist/tests/typeEvaluator3.test.js +21 -23
  114. package/dist/tests/typeEvaluator3.test.js.map +1 -1
  115. package/dist/tests/typeEvaluator4.test.js +21 -1
  116. package/dist/tests/typeEvaluator4.test.js.map +1 -1
  117. package/dist/tests/typeEvaluator5.test.js +33 -1
  118. package/dist/tests/typeEvaluator5.test.js.map +1 -1
  119. package/dist/workspaceFactory.d.ts +1 -1
  120. package/dist/workspaceFactory.js +3 -3
  121. package/dist/workspaceFactory.js.map +1 -1
  122. package/package.json +1 -1
@@ -33,6 +33,7 @@
33
33
  "awaitNotInAsync": "\"await\" allowed only within async function",
34
34
  "backticksIllegal": "Expressions surrounded by backticks are not supported in Python 3.x; use repr instead",
35
35
  "baseClassCircular": "Class cannot derive from itself",
36
+ "baseClassIncompatible": "Base classes of {type} are mutually incompatible",
36
37
  "baseClassFinal": "Base class \"{type}\" is marked final and cannot be subclassed",
37
38
  "baseClassInvalid": "Argument to class must be a base class",
38
39
  "baseClassMethodTypeIncompatible": "Base classes for class \"{classType}\" define method \"{name}\" in incompatible way",
@@ -67,7 +68,7 @@
67
68
  "comparisonAlwaysTrue": "Condition will always evaluate to True since the types \"{leftType}\" and \"{rightType}\" have no overlap",
68
69
  "comprehensionInDict": "Comprehension cannot be used with other dictionary entries",
69
70
  "comprehensionInSet": "Comprehension cannot be used with other set entries",
70
- "concatenateParamSpecMissing": "Last type argument for \"Concatenate\" must be a ParamSpec",
71
+ "concatenateParamSpecMissing": "Last type argument for \"Concatenate\" must be a ParamSpec or \"...\"",
71
72
  "concatenateTypeArgsMissing": "\"Concatenate\" requires at least two type arguments",
72
73
  "conditionalOperandInvalid": "Invalid conditional operand of type \"{type}\"",
73
74
  "constantRedefinition": "\"{name}\" is constant (because it is uppercase) and cannot be redefined",
@@ -119,8 +120,8 @@
119
120
  "duplicateStarStarPattern": "Only one \"**\" entry allowed",
120
121
  "duplicatePositionOnly": "Only one \"/\" parameter allowed",
121
122
  "duplicateUnpack": "Only one unpack operation allowed in list",
122
- "ellipsisContext": "\"...\" not allowed in this context",
123
- "ellipsisSecondArg": "\"...\" allowed only as the second of two arguments",
123
+ "ellipsisContext": "\"...\" is not allowed in this context",
124
+ "ellipsisSecondArg": "\"...\" is allowed only as the second of two arguments",
124
125
  "enumClassOverride": "Enum class \"{name}\" is final and cannot be subclassed",
125
126
  "exceptionGroupIncompatible": "Exception group syntax (\"except*\") requires Python 3.11 or newer",
126
127
  "exceptionTypeIncorrect": "\"{type}\" does not derive from BaseException",
@@ -174,7 +175,7 @@
174
175
  "expectedTypeParameterName": "Expected type parameter name",
175
176
  "expectedYieldExpr": "Expected expression in yield statement",
176
177
  "finalClassIsAbstract": "Class \"{type}\" is marked final and must implement all abstract methods",
177
- "finalContext": "\"Final\" not allowed in this context",
178
+ "finalContext": "\"Final\" is not allowed in this context",
178
179
  "finalMethodOverride": "Method \"{name}\" cannot override final method defined in class \"{className}\"",
179
180
  "finalReassigned": "\"{name}\" is declared as Final and cannot be reassigned",
180
181
  "finalRedeclaration": "\"{name}\" was previously declared as Final",
@@ -323,7 +324,7 @@
323
324
  "paramSpecArgsMissing": "Arguments for ParamSpec \"{type}\" are missing",
324
325
  "paramSpecArgsUsage": "\"args\" member of ParamSpec is valid only when used with *args parameter",
325
326
  "paramSpecAssignedName": "ParamSpec must be assigned to a variable named \"{name}\"",
326
- "paramSpecContext": "ParamSpec not allowed in this context",
327
+ "paramSpecContext": "ParamSpec is not allowed in this context",
327
328
  "paramSpecDefaultNotTuple": "Expected ellipsis, a tuple expression, or ParamSpec for default value of ParamSpec",
328
329
  "paramSpecFirstArg": "Expected name of ParamSpec as first argument",
329
330
  "paramSpecKwargsUsage": "\"kwargs\" member of ParamSpec is valid only when used with **kwargs parameter",
@@ -405,7 +406,7 @@
405
406
  "superCallArgCount": "Expected no more than two arguments to \"super\" call",
406
407
  "superCallFirstArg": "Expected class type as first argument to \"super\" call but received \"{type}\"",
407
408
  "superCallSecondArg": "Second argument to \"super\" call must be object or class that derives from \"{type}\"",
408
- "superCallZeroArgForm": "Zero-argument form of \"super\" call is valid only within a class",
409
+ "superCallZeroArgForm": "Zero-argument form of \"super\" call is valid only within a method",
409
410
  "symbolIsUnbound": "\"{name}\" is unbound",
410
411
  "symbolIsUndefined": "\"{name}\" is not defined",
411
412
  "symbolIsPossiblyUnbound": "\"{name}\" is possibly unbound",
@@ -438,7 +439,9 @@
438
439
  "typeArgsTooFew": "Too few type arguments provided for \"{name}\"; expected {expected} but received {received}",
439
440
  "typeArgsTooMany": "Too many type arguments provided for \"{name}\"; expected {expected} but received {received}",
440
441
  "typeAssignmentMismatch": "Expression of type \"{sourceType}\" cannot be assigned to declared type \"{destType}\"",
442
+ "typeAssignmentMismatchWildcard": "Import symbol \"{name}\" has type \"{sourceType}\", which cannot be assigned to declared type \"{destType}\"",
441
443
  "typeCallNotAllowed": "type() call should not be used in type annotation",
444
+ "typeCheckOnly": "\"{name}\" is marked as @type_check_only and can be used only in type annotations",
442
445
  "typeCommentDeprecated": "Use of type comments is deprecated; use type annotation instead",
443
446
  "typedDictAccess": "Could not access item in TypedDict",
444
447
  "typedDictBadVar": "TypedDict classes can contain only type annotations",
@@ -493,7 +496,7 @@
493
496
  "typeVarScopedToReturnType": "Type variable \"{name}\" is scoped to a callable within the return type and cannot be referenced in the function body",
494
497
  "typeVarSingleConstraint": "TypeVar must have at least two constrained types",
495
498
  "typeVarsNotInGenericOrProtocol": "Generic[] or Protocol[] must include all type variables",
496
- "typeVarTupleContext": "TypeVarTuple not allowed in this context",
499
+ "typeVarTupleContext": "TypeVarTuple is not allowed in this context",
497
500
  "typeVarTupleDefaultNotUnpacked": "TypeVarTuple default type must be an unpacked tuple or TypeVarTuple",
498
501
  "typeVarTupleMustBeUnpacked": "Unpack operator is required for TypeVarTuple value",
499
502
  "typeVarTupleUnknownParam": "\"{name}\" is unknown parameter to TypeVarTuple",
@@ -541,8 +544,8 @@
541
544
  "unpackInAnnotation": "Unpack operator not allowed in type annotation",
542
545
  "unpackInDict": "Unpack operation not allowed in dictionaries",
543
546
  "unpackInSet": "Unpack operator not allowed within a set",
544
- "unpackNotAllowed": "Unpack not allowed in this context",
545
- "unpackOperatorNotAllowed": "Unpack operation not allowed in this context",
547
+ "unpackNotAllowed": "Unpack is not allowed in this context",
548
+ "unpackOperatorNotAllowed": "Unpack operation is not allowed in this context",
546
549
  "unpackTuplesIllegal": "Unpack operation not allowed in tuples prior to Python 3.8",
547
550
  "unreachableCode": "Code is unreachable",
548
551
  "unreachableExcept": "Except clause is unreachable because exception is already handled",
@@ -556,7 +559,7 @@
556
559
  "variadicTypeParamTooManyAlias": "Type alias can have at most one TypeVarTuple type parameter but received multiple ({names})",
557
560
  "variadicTypeParamTooManyClass": "Generic class can have at most one TypeVarTuple type parameter but received multiple ({names})",
558
561
  "walrusIllegal": "Operator \":=\" requires Python 3.8 or newer",
559
- "walrusNotAllowed": "Operator \":=\" not allowed in this context without surrounding parentheses",
562
+ "walrusNotAllowed": "Operator \":=\" is not allowed in this context without surrounding parentheses",
560
563
  "wildcardInFunction": "Wildcard import not allowed within a class or function",
561
564
  "wildcardPatternTypeUnknown": "Type captured by wildcard pattern is unknown",
562
565
  "wildcardPatternTypePartiallyUnknown": "Type captured by wildcard pattern is partially unknown",
@@ -566,7 +569,7 @@
566
569
  "yieldOutsideFunction": "\"yield\" not allowed outside of a function or lambda",
567
570
  "yieldWithinListCompr": "\"yield\" not allowed inside a list comprehension",
568
571
  "zeroCaseStatementsFound": "Match statement must include at least one case statement",
569
- "zeroLengthTupleNotAllowed": "Zero-length tuple not allowed in this context"
572
+ "zeroLengthTupleNotAllowed": "Zero-length tuple is not allowed in this context"
570
573
  },
571
574
  "DiagnosticAddendum": {
572
575
  "argParam": "Argument corresponds to parameter \"{paramName}\"",
@@ -577,6 +580,8 @@
577
580
  "argumentTypes": "Argument types: ({types})",
578
581
  "assignToNone": "Type cannot be assigned to type \"None\"",
579
582
  "asyncHelp": "Did you mean \"async with\"?",
583
+ "baseClassIncompatible": "Base class \"{baseClass}\" is incompatible with type \"{type}\"",
584
+ "baseClassIncompatibleSubclass": "Base class \"{baseClass}\" derives from \"{subclass}\" which is incompatible with type \"{type}\"",
580
585
  "baseClassOverriddenType": "Base class \"{baseClass}\" provides type \"{type}\", which is overridden",
581
586
  "baseClassOverridesType": "Base class \"{baseClass}\" overrides with type \"{type}\"",
582
587
  "conditionalRequiresBool": "Method __bool__ for type \"{operandType}\" returns type \"{boolReturnType}\" rather than \"bool\"",
@@ -610,6 +615,7 @@
610
615
  "memberIsInitVar": "Member \"{name}\" is an init-only field",
611
616
  "memberIsInvariant": "\"{name}\" is invariant because it is mutable",
612
617
  "memberIsNotFinalInProtocol": "\"{name}\" is not marked Final in protocol",
618
+ "memberIsWritableInProtocol": "\"{name}\" is writable in protocol",
613
619
  "memberTypeMismatch": "\"{name}\" is an incompatible type",
614
620
  "memberUnknown": "Member \"{name}\" is unknown",
615
621
  "missingProtocolMember": "Member \"{name}\" is declared in protocol class \"{classType}\"",
@@ -632,7 +638,7 @@
632
638
  "overrideNotClassMethod": "Base method is declared as a classmethod but override is not",
633
639
  "overrideNotInstanceMethod": "Base method is declared as an instance method but override is not",
634
640
  "overrideNotStaticMethod": "Base method is declared as a staticmethod but override is not",
635
- "overrideOverloadNoMatch": "Overload {index} is not compatible with base method",
641
+ "overrideOverloadNoMatch": "Override does not handle all overloads of base method",
636
642
  "overrideOverloadOrder": "Overloads for override method must be in the same order as the base method",
637
643
  "overrideParamKeywordNoDefault": "Keyword parameter \"{name}\" mismatch: base parameter has default argument value, override parameter does not",
638
644
  "overrideParamKeywordType": "Keyword parameter \"{name}\" type mismatch: base parameter is type \"{baseType}\", override parameter is type \"{overrideType}\"",
@@ -78,7 +78,7 @@
78
78
  "comparisonAlwaysTrue": "La condición siempre se evaluará como Verdadero, ya que los tipos \"{leftType}\" y \"{rightType}\" no se superpone.",
79
79
  "comprehensionInDict": "La comprensión no puede utilizarse con otras entradas del diccionario",
80
80
  "comprehensionInSet": "La comprensión no se puede usar con otras entradas de conjunto",
81
- "concatenateParamSpecMissing": "El último argumento de tipo para \"Concatenatar\" debe ser un ParamSpec",
81
+ "concatenateParamSpecMissing": "Last type argument for \"Concatenate\" must be a ParamSpec or \"...\"",
82
82
  "concatenateTypeArgsMissing": "\"Concatenar\" requiere al menos dos argumentos de tipo",
83
83
  "conditionalOperandInvalid": "Operando condicional no válido de tipo \"{type}\"",
84
84
  "constantRedefinition": "\"{name}\" es constante (porque está en mayúsculas) y no se puede volver a definir",
@@ -130,8 +130,8 @@
130
130
  "duplicateStarPattern": "Solo se permite un patrón \"*\" en una secuencia de patrones",
131
131
  "duplicateStarStarPattern": "Solo se permite una entrada \"**\"",
132
132
  "duplicateUnpack": "Solo se permite una operación de desempaquetado en la lista",
133
- "ellipsisContext": "\"...\" no está permitido en este contexto",
134
- "ellipsisSecondArg": "\"...\" permitido sólo como el segundo de dos argumentos",
133
+ "ellipsisContext": "\"...\" is not allowed in this context",
134
+ "ellipsisSecondArg": "\"...\" is allowed only as the second of two arguments",
135
135
  "enumClassOverride": "La clase Enum \"{name}\" es final y no puede ser subclasificada",
136
136
  "exceptionGroupIncompatible": "La sintaxis de grupo de excepciones (\"except*\") requiere Python 3.11 o posterior.",
137
137
  "exceptionTypeIncorrect": "\"{type}\" no se deriva de BaseException",
@@ -185,7 +185,7 @@
185
185
  "expectedTypeParameterName": "Nombre de parámetro de tipo esperado",
186
186
  "expectedYieldExpr": "Expresión esperada en la instrucción yield",
187
187
  "finalClassIsAbstract": "La clase \"{type}\" está marcada como final y debe implementar todos los métodos abstractos",
188
- "finalContext": "\"Final\" no está permitido en este contexto",
188
+ "finalContext": "\"Final\" is not allowed in this context",
189
189
  "finalMethodOverride": "El método \"{name}\" no puede anular el método final definido en la clase \" {className}\"",
190
190
  "finalReassigned": "\"{name}\" se declara como Final y no se puede reasignar",
191
191
  "finalRedeclaration": "\"{name}\" se declaró anteriormente como Final",
@@ -293,7 +293,7 @@
293
293
  "noOverload": "Ninguna sobrecarga para \"{name}\" coincide con los argumentos proporcionados",
294
294
  "noReturnContainsReturn": "La función con tipo de retorno declarado \"NoReturn\" no puede incluir una sentencia volver",
295
295
  "noReturnContainsYield": "La función con tipo de retorno declarado \"NoReturn\" no puede incluir una instrucción yield",
296
- "noReturnReturnsNone": "Una función con el tipo declarado \"NoReturn\" no puede devolver \"None\".",
296
+ "noReturnReturnsNone": "La función con el tipo de valor devuelto declarado \"NoReturn\" no puede devolver \"None\"",
297
297
  "nonDefaultAfterDefault": "El argumento no predeterminado sigue al argumento predeterminado",
298
298
  "nonLocalInModule": "Declaración no local no permitida a nivel de módulo",
299
299
  "nonLocalNoBinding": "No se ha encontrado ningún enlace para \"{name}\" no local.",
@@ -335,7 +335,7 @@
335
335
  "paramSpecArgsMissing": "Faltan argumentos para ParamSpec \"{type}\".",
336
336
  "paramSpecArgsUsage": "El miembro \"args\" de ParamSpec solo es válido cuando se usa con el parámetro *args.",
337
337
  "paramSpecAssignedName": "ParamSpec debe asignarse a una variable llamada \"{name} \"",
338
- "paramSpecContext": "ParamSpec no permitido en este contexto",
338
+ "paramSpecContext": "ParamSpec is not allowed in this context",
339
339
  "paramSpecDefaultNotTuple": "Se esperaban puntos suspensivos, una expresión de tupla o ParamSpec para el valor predeterminado de ParamSpec",
340
340
  "paramSpecFirstArg": "Se esperaba el nombre de ParamSpec como primer argumento",
341
341
  "paramSpecKwargsUsage": "El miembro \"kwargs\" de ParamSpec solo es válido cuando se utiliza con el parámetro **kwargs",
@@ -383,7 +383,7 @@
383
383
  "requiredArgCount": "Se esperaba un único argumento de tipo después de \"Required\"",
384
384
  "requiredNotInTypedDict": "\"Required\" no está permitido en este contexto",
385
385
  "returnInAsyncGenerator": "No se permite la instrucción Return con valor en el generador asincrónico",
386
- "returnMissing": "La función con el tipo declarado \"{returnType}\" debe devolver un valor en todas las rutas de acceso del código.",
386
+ "returnMissing": "La función con el tipo de valor devuelto declarado \"{returnType}\" debe devolver un valor en todas las rutas de acceso del código.",
387
387
  "returnOutsideFunction": "\"return\" solo se puede usar dentro de una función",
388
388
  "returnTypeContravariant": "La variable de tipo contravariante no se puede usar en el tipo de valor devuelto",
389
389
  "returnTypeMismatch": "La expresión del tipo \"{exprType}\" no puede asignarse al tipo de retorno \"{returnType}\"",
@@ -429,6 +429,7 @@
429
429
  "tupleIndexOutOfRange": "El índice {index} está fuera de rango para el tipo {type}.",
430
430
  "typeAliasIllegalExpressionForm": "Forma de expresión no válida para la definición de alias de tipo",
431
431
  "typeAliasIsRecursiveDirect": "El alias de tipo \"{name}\" no puede usarse a sí mismo en su definición",
432
+ "typeAliasNotAllowed": "El alias de tipo \"{name}\" no se puede usar en este contexto",
432
433
  "typeAliasNotInModuleOrClass": "Un TypeAlias solo puede definirse en el ámbito de un módulo o de una clase",
433
434
  "typeAliasRedeclared": "\"{name}\" se declara como TypeAlias y solo puede asignarse una vez",
434
435
  "typeAliasStatementIllegal": "La sentencia Type alias requiere Python 3.12 o posterior",
@@ -448,6 +449,7 @@
448
449
  "typeArgsTooFew": "Se han proporcionado muy pocos argumentos de tipo para \"{name}\"; se esperaba {expected} pero se ha recibido {received}.",
449
450
  "typeArgsTooMany": "Se proporcionaron demasiados argumentos de tipo para \"{name}\"; se esperaba {expected}, pero se recibieron {received}",
450
451
  "typeAssignmentMismatch": "La expresión del tipo \"{sourceType}\" no puede asignarse al tipo declarado \"{destType}\"",
452
+ "typeAssignmentMismatchWildcard": "Import symbol \"{name}\" has type \"{sourceType}\", which cannot be assigned to declared type \"{destType}\"",
451
453
  "typeCallNotAllowed": "la llamada a type() no debe utilizarse en la anotación de tipo",
452
454
  "typeCommentDeprecated": "El uso de comentarios de tipo está obsoleto; utilice en su lugar anotaciones de tipo.",
453
455
  "typeExpectedClass": "Se esperaba una expresión de tipo pero se ha recibido \"{type}\"",
@@ -487,7 +489,7 @@
487
489
  "typeVarPossiblyUnsolvable": "La variable de tipo \"{name}\" puede quedar sin resolver si el autor de la llamada no proporciona ningún argumento para el parámetro \"{param}\"",
488
490
  "typeVarScopedToReturnType": "La variable de tipo \"{name}\" tiene como ámbito una llamada dentro del tipo de valor devuelto y no se puede hacer referencia a ella en el cuerpo de la función.",
489
491
  "typeVarSingleConstraint": "TypeVar debe tener al menos dos tipos restringidos",
490
- "typeVarTupleContext": "TypeVarTuple no permitido en este contexto",
492
+ "typeVarTupleContext": "TypeVarTuple is not allowed in this context",
491
493
  "typeVarTupleDefaultNotUnpacked": "El tipo predeterminado TypeVarTuple debe ser una tupla desempaquetada o TypeVarTuple",
492
494
  "typeVarTupleMustBeUnpacked": "Se requiere el operador Unpack para el valor TypeVarTuple.",
493
495
  "typeVarTupleUnknownParam": "\"{name}\" es un parámetro desconocido para TypeVarTuple",
@@ -544,8 +546,8 @@
544
546
  "unpackInAnnotation": "No se permite el operador desempaquetado en la anotación de tipo",
545
547
  "unpackInDict": "Operación de desempaquetado no permitida en diccionarios",
546
548
  "unpackInSet": "No se permite el operador Unpack dentro de un conjunto",
547
- "unpackNotAllowed": "Desembalaje no permitido en este contexto",
548
- "unpackOperatorNotAllowed": "Operación de desempaquetado no permitida en este contexto",
549
+ "unpackNotAllowed": "Unpack is not allowed in this context",
550
+ "unpackOperatorNotAllowed": "Unpack operation is not allowed in this context",
549
551
  "unpackTuplesIllegal": "Operación de desempaquetado no permitida en tuplas anteriores a Python 3.8",
550
552
  "unpackedArgInTypeArgument": "Los argumentos sin empaquetar no pueden utilizarse en listas de argumentos de tipo",
551
553
  "unpackedArgWithVariadicParam": "No se puede usar un argumento desempaquetado para el parámetro TypeVarTuple",
@@ -566,7 +568,7 @@
566
568
  "variadicTypeParamTooManyAlias": "Los alias de tipo pueden tener como máximo un parámetro de tipo TypeVarTuple, pero reciben varios ({names})",
567
569
  "variadicTypeParamTooManyClass": "La clase genérica puede tener como máximo un parámetro de tipo TypeVarTuple pero recibió múltiples ({names})",
568
570
  "walrusIllegal": "El operador \":=\" requiere Python 3.8 o posterior",
569
- "walrusNotAllowed": "El operador \":=\" no es permitido en este contexto sin paréntesis alrededor",
571
+ "walrusNotAllowed": "Operator \":=\" is not allowed in this context without surrounding parentheses",
570
572
  "wildcardInFunction": "No se permite la importación de comodines dentro de una clase o función",
571
573
  "wildcardLibraryImport": "No se permite la importación de caracteres comodín desde una biblioteca",
572
574
  "wildcardPatternTypePartiallyUnknown": "El tipo capturado por el patrón comodín es parcialmente desconocido",
@@ -576,7 +578,7 @@
576
578
  "yieldOutsideFunction": "\"yield\" no se permite fuera de una función o lambda",
577
579
  "yieldWithinListCompr": "\"yield\" no está permitido dentro de una comprensión de lista",
578
580
  "zeroCaseStatementsFound": "La instrucción Match debe incluir al menos una instrucción case",
579
- "zeroLengthTupleNotAllowed": "Tuple de longitud cero no permitida en este contexto"
581
+ "zeroLengthTupleNotAllowed": "Zero-length tuple is not allowed in this context"
580
582
  },
581
583
  "DiagnosticAddendum": {
582
584
  "argParam": "El argumento corresponde al parámetro \"{paramName}\"",
@@ -619,6 +621,7 @@
619
621
  "memberIsInitVar": "El miembro \"{name}\" es un campo solo de inicialización",
620
622
  "memberIsInvariant": "\"{name}\" es invariable porque es mutable",
621
623
  "memberIsNotFinalInProtocol": "\"{name}\" no está marcado como Final en el protocolo",
624
+ "memberIsWritableInProtocol": "\"{name}\" is writable in protocol",
622
625
  "memberSetClassVar": "El miembro \"{name}\" no se puede asignar a través de una instancia de clase porque es un ClassVar.",
623
626
  "memberTypeMismatch": "\"{name}\" es un tipo incompatible",
624
627
  "memberUnknown": "El miembro \"{name}\" es desconocido",
@@ -78,7 +78,7 @@
78
78
  "comparisonAlwaysTrue": "La condition prend toujours la valeur True, car les types « {leftType} » et « {rightType} » ne se chevauchent pas",
79
79
  "comprehensionInDict": "La compréhension ne peut pas être utilisée avec d’autres entrées de dictionnaire",
80
80
  "comprehensionInSet": "La compréhension ne peut pas être utilisée avec d'autres entrées définies",
81
- "concatenateParamSpecMissing": "Le dernier argument de type pour « Concatenate » doit être un ParamSpec",
81
+ "concatenateParamSpecMissing": "Last type argument for \"Concatenate\" must be a ParamSpec or \"...\"",
82
82
  "concatenateTypeArgsMissing": "\"Concaténation\" nécessite au moins deux arguments de type",
83
83
  "conditionalOperandInvalid": "Opérande conditionnel non valide de type \"{type}\"",
84
84
  "constantRedefinition": "\"{nom}\" est constant (car il est en majuscule) et ne peut pas être redéfini",
@@ -130,8 +130,8 @@
130
130
  "duplicateStarPattern": "Un seul motif \"*\" autorisé dans une séquence de motifs",
131
131
  "duplicateStarStarPattern": "Une seule entrée \"**\" autorisée",
132
132
  "duplicateUnpack": "Une seule opération de décompression autorisée dans la liste",
133
- "ellipsisContext": "\"...\" non autorisé dans ce contexte",
134
- "ellipsisSecondArg": "«...» autorisé uniquement en tant que deuxième des deux arguments",
133
+ "ellipsisContext": "\"...\" is not allowed in this context",
134
+ "ellipsisSecondArg": "\"...\" is allowed only as the second of two arguments",
135
135
  "enumClassOverride": "La classe Enum « {name} » est finale et ne peut pas être sous-classée",
136
136
  "exceptionGroupIncompatible": "La syntaxe du groupe d’exceptions (« except* ») nécessite Python 3.11 ou version ultérieure",
137
137
  "exceptionTypeIncorrect": "\"{type}\" ne dérive pas de BaseException",
@@ -185,7 +185,7 @@
185
185
  "expectedTypeParameterName": "Nom de paramètre de type attendu",
186
186
  "expectedYieldExpr": "Expression attendue dans l'instruction yield",
187
187
  "finalClassIsAbstract": "La classe « {type} » est marquée comme finale et doit implémenter toutes les méthodes abstraites",
188
- "finalContext": "« Final » non autorisé dans ce contexte",
188
+ "finalContext": "\"Final\" is not allowed in this context",
189
189
  "finalMethodOverride": "La méthode « {name} » ne peut pas remplacer la méthode finale définie dans la classe « {className} »",
190
190
  "finalReassigned": "\"{name}\" est déclaré final et ne peut pas être réaffecté",
191
191
  "finalRedeclaration": "« {name} » a été déclaré comme final",
@@ -293,7 +293,7 @@
293
293
  "noOverload": "Aucune surcharge pour « {name} » ne correspond aux arguments fournis",
294
294
  "noReturnContainsReturn": "La fonction avec le type de retour déclaré « NoReturn » ne peut pas inclure d’instruction de retour",
295
295
  "noReturnContainsYield": "La fonction avec le type de retour déclaré « NoReturn » ne peut pas inclure d’instruction yield",
296
- "noReturnReturnsNone": "La fonction avec le type déclaré « NoReturn » ne peut pas retourner « None »",
296
+ "noReturnReturnsNone": "La fonction avec le type de retour déclaré \"NoReturn\" ne peut pas renvoyer \"None\"",
297
297
  "nonDefaultAfterDefault": "L’argument autre que l’argument par défaut suit l’argument par défaut",
298
298
  "nonLocalInModule": "Déclaration non locale non autorisée au niveau du module",
299
299
  "nonLocalNoBinding": "Aucune liaison pour le « {name} » non local trouvé",
@@ -335,7 +335,7 @@
335
335
  "paramSpecArgsMissing": "Les arguments pour ParamSpec « {type} » sont manquants",
336
336
  "paramSpecArgsUsage": "Le membre \"args\" de ParamSpec n'est valide que lorsqu'il est utilisé avec le paramètre *args",
337
337
  "paramSpecAssignedName": "ParamSpec doit être affecté à une variable nommée « {name} »",
338
- "paramSpecContext": "ParamSpec non autorisé dans ce contexte",
338
+ "paramSpecContext": "ParamSpec is not allowed in this context",
339
339
  "paramSpecDefaultNotTuple": "Points de suspension attendus, expression de tuple ou ParamSpec pour la valeur par défaut de ParamSpec",
340
340
  "paramSpecFirstArg": "Nom attendu de ParamSpec comme premier argument",
341
341
  "paramSpecKwargsUsage": "Le membre « configurrgs » de ParamSpec n’est valide qu’en cas d’utilisation avec le paramètre **rgs",
@@ -383,7 +383,7 @@
383
383
  "requiredArgCount": "Attendu un argument de type unique après \"Required\"",
384
384
  "requiredNotInTypedDict": "« Obligatoire » n’est pas autorisé dans ce contexte",
385
385
  "returnInAsyncGenerator": "L'instruction de retour avec valeur n'est pas autorisée dans le générateur asynchrone",
386
- "returnMissing": "La fonction avec le type déclaré de \"{returnType}\" doit renvoyer une valeur sur tous les chemins de code",
386
+ "returnMissing": "La fonction avec le type de retour déclaré \"{returnType}\" doit renvoyer une valeur sur tous les chemins de code",
387
387
  "returnOutsideFunction": "\"return\" ne peut être utilisé que dans une fonction",
388
388
  "returnTypeContravariant": "La variable de type contravariant ne peut pas être utilisée dans le type de retour",
389
389
  "returnTypeMismatch": "Impossible d’affecter l’expression de type « {exprType} » pour retourner le type « {returnType} »",
@@ -429,6 +429,7 @@
429
429
  "tupleIndexOutOfRange": "L’index {index} est hors limites pour le type {type}",
430
430
  "typeAliasIllegalExpressionForm": "Formulaire d’expression non valide pour la définition d’alias de type",
431
431
  "typeAliasIsRecursiveDirect": "L'alias de type \"{name}\" ne peut pas s'utiliser lui-même dans sa définition",
432
+ "typeAliasNotAllowed": "L'alias de type \"{name}\" ne peut pas être utilisé dans ce contexte",
432
433
  "typeAliasNotInModuleOrClass": "Un TypeAlias ne peut être défini qu’au sein d’un module ou d’une étendue de classe",
433
434
  "typeAliasRedeclared": "« {name} » est déclaré en tant que TypeAlias et ne peut être attribué qu’une seule fois",
434
435
  "typeAliasStatementIllegal": "L’instruction d’alias de type nécessite Python 3.12 ou version ultérieure",
@@ -448,6 +449,7 @@
448
449
  "typeArgsTooFew": "Trop peu d’arguments de type fournis pour « {name} » ; {expected} attendu, mais {received} reçu",
449
450
  "typeArgsTooMany": "Trop d'arguments de type fournis pour \"{name}\" ; attendu {attendu} mais reçu {reçu}",
450
451
  "typeAssignmentMismatch": "Impossible d’affecter l’expression de type « {sourceType} » au type déclaré « {destType} »",
452
+ "typeAssignmentMismatchWildcard": "Import symbol \"{name}\" has type \"{sourceType}\", which cannot be assigned to declared type \"{destType}\"",
451
453
  "typeCallNotAllowed": "l’appel type() ne doit pas être utilisé dans l’annotation de type",
452
454
  "typeCommentDeprecated": "L’utilisation de commentaires de type est déconseillée ; utiliser l’annotation de type à la place",
453
455
  "typeExpectedClass": "Expression de type attendue mais « {type} » reçue",
@@ -487,7 +489,7 @@
487
489
  "typeVarPossiblyUnsolvable": "La variable de type \"{name}\" peut rester non résolue si l'appelant ne fournit aucun argument pour le paramètre \"{param}\"",
488
490
  "typeVarScopedToReturnType": "La variable de type \"{name}\" est limitée à un appelable dans le type de retour et ne peut pas être référencée dans le corps de la fonction",
489
491
  "typeVarSingleConstraint": "TypeVar doit avoir au moins deux types contraints",
490
- "typeVarTupleContext": "TypeVarTuple non autorisé dans ce contexte",
492
+ "typeVarTupleContext": "TypeVarTuple is not allowed in this context",
491
493
  "typeVarTupleDefaultNotUnpacked": "Le type par défaut TypeVarTuple doit être un tuple décompressé ou TypeVarTuple",
492
494
  "typeVarTupleMustBeUnpacked": "L'opérateur Unpack est requis pour la valeur TypeVarTuple",
493
495
  "typeVarTupleUnknownParam": "« {name} » est un paramètre inconnu de TypeVarTuple",
@@ -544,8 +546,8 @@
544
546
  "unpackInAnnotation": "Opérateur de décompression non autorisé dans l’annotation de type",
545
547
  "unpackInDict": "Opération de décompression non autorisée dans les dictionnaires",
546
548
  "unpackInSet": "Opérateur de déballage non autorisé dans un ensemble",
547
- "unpackNotAllowed": "Déballage non autorisé dans ce contexte",
548
- "unpackOperatorNotAllowed": "Opération de décompression non autorisée dans ce contexte",
549
+ "unpackNotAllowed": "Unpack is not allowed in this context",
550
+ "unpackOperatorNotAllowed": "Unpack operation is not allowed in this context",
549
551
  "unpackTuplesIllegal": "Opération de décompression non autorisée dans les tuples avant Python 3.8",
550
552
  "unpackedArgInTypeArgument": "Les arguments décompressés ne peuvent pas être utilisés dans les listes d’arguments de type",
551
553
  "unpackedArgWithVariadicParam": "L'argument décompressé ne peut pas être utilisé pour le paramètre TypeVarTuple",
@@ -566,7 +568,7 @@
566
568
  "variadicTypeParamTooManyAlias": "L’alias de type peut avoir au plus un paramètre de type TypeVarTuple, mais a reçu plusieurs ({names})",
567
569
  "variadicTypeParamTooManyClass": "La classe générique peut avoir au plus un paramètre de type TypeVarTuple, mais en a reçu plusieurs ({names})",
568
570
  "walrusIllegal": "L’opérateur « := » nécessite Python 3.8 ou version ultérieure",
569
- "walrusNotAllowed": "L’opérateur « := » n’est pas autorisé dans ce contexte sans parenthèses adjacentes",
571
+ "walrusNotAllowed": "Operator \":=\" is not allowed in this context without surrounding parentheses",
570
572
  "wildcardInFunction": "Importation de caractères génériques non autorisée dans une classe ou une fonction",
571
573
  "wildcardLibraryImport": "Importation de caractères génériques à partir d'une bibliothèque non autorisée",
572
574
  "wildcardPatternTypePartiallyUnknown": "Le type capturé par le modèle générique est partiellement inconnu",
@@ -576,7 +578,7 @@
576
578
  "yieldOutsideFunction": "\"rendement\" non autorisé en dehors d'une fonction ou d'un lambda",
577
579
  "yieldWithinListCompr": "« yield » non autorisé dans une compréhension de liste",
578
580
  "zeroCaseStatementsFound": "L'instruction de correspondance doit inclure au moins une instruction case",
579
- "zeroLengthTupleNotAllowed": "Tuple de longueur nulle non autorisé dans ce contexte"
581
+ "zeroLengthTupleNotAllowed": "Zero-length tuple is not allowed in this context"
580
582
  },
581
583
  "DiagnosticAddendum": {
582
584
  "argParam": "L’argument correspond au paramètre « {paramName} »",
@@ -619,6 +621,7 @@
619
621
  "memberIsInitVar": "Le membre « {name} » est un champ d’initialisation uniquement",
620
622
  "memberIsInvariant": "« {name} » est invariant, car il est mutable",
621
623
  "memberIsNotFinalInProtocol": "\"{name}\" n'est pas marqué Final dans le protocole",
624
+ "memberIsWritableInProtocol": "\"{name}\" is writable in protocol",
622
625
  "memberSetClassVar": "Le membre \"{name}\" ne peut pas être attribué via une instance de classe car il s'agit d'une ClassVar",
623
626
  "memberTypeMismatch": "« {name} » est un type incompatible",
624
627
  "memberUnknown": "Le membre « {name} » est inconnu",
@@ -78,7 +78,7 @@
78
78
  "comparisonAlwaysTrue": "La condizione restituisce sempre True perché i tipi \"{leftType}\" e \"{rightType}\" non si sovrappongono",
79
79
  "comprehensionInDict": "Non è possibile usare la comprensione con altre voci del dizionario",
80
80
  "comprehensionInSet": "Non è possibile usare la comprensione con altre voci del set",
81
- "concatenateParamSpecMissing": "L'ultimo argomento di tipo per \"Concatenate\" deve essere un ParamSpec",
81
+ "concatenateParamSpecMissing": "Last type argument for \"Concatenate\" must be a ParamSpec or \"...\"",
82
82
  "concatenateTypeArgsMissing": "\"Concatena\" richiede almeno due argomenti tipo",
83
83
  "conditionalOperandInvalid": "Operando condizionale non valido di tipo \"{type}\"",
84
84
  "constantRedefinition": "\"{name}\" è costante (perché è in maiuscolo) e non può essere ridefinita",
@@ -130,8 +130,8 @@
130
130
  "duplicateStarPattern": "In una sequenza di criteri è consentito un solo criterio \"*\"",
131
131
  "duplicateStarStarPattern": "È consentita una sola voce \"**\"",
132
132
  "duplicateUnpack": "Nell'elenco è consentita una sola operazione di decompressione",
133
- "ellipsisContext": "\"...\" non consentito in questo contesto",
134
- "ellipsisSecondArg": "\"...\" consentito solo come secondo di due argomenti",
133
+ "ellipsisContext": "\"...\" is not allowed in this context",
134
+ "ellipsisSecondArg": "\"...\" is allowed only as the second of two arguments",
135
135
  "enumClassOverride": "La classe di enumerazione \"{name}\" è finale e non può essere sottoclassata",
136
136
  "exceptionGroupIncompatible": "La sintassi del gruppo di eccezioni (\"except*\") richiede Python 3.11 o versione successiva",
137
137
  "exceptionTypeIncorrect": "\"{type}\" non deriva da BaseException",
@@ -185,7 +185,7 @@
185
185
  "expectedTypeParameterName": "Nome del parametro del tipo previsto",
186
186
  "expectedYieldExpr": "Espressione prevista nell'istruzione yield",
187
187
  "finalClassIsAbstract": "La classe \"{type}\" è contrassegnata come finale e deve implementare tutti i metodi astratti",
188
- "finalContext": "\"Final\" non consentito in questo contesto",
188
+ "finalContext": "\"Final\" is not allowed in this context",
189
189
  "finalMethodOverride": "Il metodo \"{name}\" non può eseguire l'override del metodo finale definito nella classe \"{className}\"",
190
190
  "finalReassigned": "\"{name}\" è dichiarato come Finale e non può essere riassegnato",
191
191
  "finalRedeclaration": "\"{name}\" è stato dichiarato in precedenza come Finale",
@@ -293,7 +293,7 @@
293
293
  "noOverload": "Nessun overload per \"{name}\" corrisponde agli argomenti specificati",
294
294
  "noReturnContainsReturn": "La funzione con tipo restituito dichiarato \"NoReturn\" non può includere un'istruzione return",
295
295
  "noReturnContainsYield": "La funzione con il tipo restituito dichiarato \"NoReturn\" non può includere un'istruzione yield",
296
- "noReturnReturnsNone": "La funzione con tipo dichiarato \"NoReturn\" non può restituire \"None\"",
296
+ "noReturnReturnsNone": "La funzione con tipo restituito dichiarato \"NoReturn\" non può restituire \"None\"",
297
297
  "nonDefaultAfterDefault": "L'argomento non predefinito segue l'argomento predefinito",
298
298
  "nonLocalInModule": "Dichiarazione non locale non consentita a livello di modulo",
299
299
  "nonLocalNoBinding": "Non è stata trovata alcuna associazione per \"{name}\" non locale",
@@ -335,7 +335,7 @@
335
335
  "paramSpecArgsMissing": "Gli argomenti per ParamSpec \"{type}\" sono mancanti",
336
336
  "paramSpecArgsUsage": "Il membro \"args\" di ParamSpec è valido solo se usato con il parametro *args",
337
337
  "paramSpecAssignedName": "ParamSpec deve essere assegnato a una variabile denominata \"{name}\"",
338
- "paramSpecContext": "ParamSpec non consentito in questo contesto",
338
+ "paramSpecContext": "ParamSpec is not allowed in this context",
339
339
  "paramSpecDefaultNotTuple": "Sono previsti puntini di sospensione, un'espressione di tupla o ParamSpec per il valore predefinito di ParamSpec",
340
340
  "paramSpecFirstArg": "Nome previsto di ParamSpec come primo argomento",
341
341
  "paramSpecKwargsUsage": "Il membro \"kwargs\" di ParamSpec è valido solo se usato con il parametro **kwargs",
@@ -383,7 +383,7 @@
383
383
  "requiredArgCount": "Previsto un singolo argomento tipo dopo \"Obbligatorio\"",
384
384
  "requiredNotInTypedDict": "\"Required\" non è consentito in questo contesto",
385
385
  "returnInAsyncGenerator": "L’istruzione return con valore non è consentita nel generatore asincrono",
386
- "returnMissing": "La funzione con tipo dichiarato \"{returnType}\" deve restituire un valore in tutti i percorsi di codice",
386
+ "returnMissing": "La funzione con tipo restituito dichiarato \"{returnType}\" deve restituire un valore in tutti i percorsi di codice",
387
387
  "returnOutsideFunction": "\"return\" può essere usata solo all'interno di una funzione.",
388
388
  "returnTypeContravariant": "Non è possibile usare la variabile di tipo controvariante nel tipo restituito",
389
389
  "returnTypeMismatch": "Non è possibile assegnare l'espressione di tipo \"{exprType}\" al tipo restituito \"{returnType}\"",
@@ -429,6 +429,7 @@
429
429
  "tupleIndexOutOfRange": "L'indice {index} non è compreso nell'intervallo per il tipo {type}",
430
430
  "typeAliasIllegalExpressionForm": "Modulo di espressione non valido per la definizione dell'alias di tipo",
431
431
  "typeAliasIsRecursiveDirect": "L'alias di tipo \"{name}\" non può usare se stesso nella relativa definizione",
432
+ "typeAliasNotAllowed": "L'alias di tipo \"{name}\" non può essere usato in questo contesto",
432
433
  "typeAliasNotInModuleOrClass": "TypeAlias può essere definito solo all'interno di un modulo o di una classe",
433
434
  "typeAliasRedeclared": "\"{name}\" è dichiarato come TypeAlias e può essere assegnato una sola volta",
434
435
  "typeAliasStatementIllegal": "L'istruzione alias di tipo richiede Python 3.12 o versione successiva",
@@ -448,6 +449,7 @@
448
449
  "typeArgsTooFew": "Troppo pochi argomenti tipo forniti per \"{name}\"; previsto {expected} ma ricevuto {received}",
449
450
  "typeArgsTooMany": "Troppi argomenti tipo forniti per \"{name}\"; previsto {expected} ma ricevuto {received}",
450
451
  "typeAssignmentMismatch": "Impossibile assegnare l'espressione di tipo \"{sourceType}\" al tipo dichiarato \"{destType}\"",
452
+ "typeAssignmentMismatchWildcard": "Import symbol \"{name}\" has type \"{sourceType}\", which cannot be assigned to declared type \"{destType}\"",
451
453
  "typeCallNotAllowed": "la chiamata type() non deve essere usata nell'annotazione di tipo",
452
454
  "typeCommentDeprecated": "L'uso dei commenti di tipo è deprecato. Usare l'annotazione di tipo",
453
455
  "typeExpectedClass": "È prevista un'espressione di tipo ma è stato ricevuto \"{type}\"",
@@ -487,7 +489,7 @@
487
489
  "typeVarPossiblyUnsolvable": "La variabile di tipo \"{name}\" potrebbe non essere risolta se il chiamante non fornisce alcun argomento per il parametro \"{param}\"",
488
490
  "typeVarScopedToReturnType": "La variabile di tipo \"{name}\" ha come ambito un elemento richiamabile all'interno del tipo restituito e non può essere usato come riferimento nel corpo della funzione",
489
491
  "typeVarSingleConstraint": "TypeVar deve contenere almeno due tipi vincolati",
490
- "typeVarTupleContext": "TypeVarTuple non consentito in questo contesto",
492
+ "typeVarTupleContext": "TypeVarTuple is not allowed in this context",
491
493
  "typeVarTupleDefaultNotUnpacked": "Il tipo predefinito TypeVarTuple deve essere una tupla non compressa o TypeVarTuple",
492
494
  "typeVarTupleMustBeUnpacked": "L'operatore Decomprimi è obbligatorio per il valore TypeVarTuple",
493
495
  "typeVarTupleUnknownParam": "\"{name}\" è un parametro sconosciuto per TypeVar",
@@ -544,8 +546,8 @@
544
546
  "unpackInAnnotation": "Operatore di decompressione non consentito nell'annotazione di tipo",
545
547
  "unpackInDict": "Operazione di decompressione non consentita nei dizionari",
546
548
  "unpackInSet": "Operatore di decompressione non consentito all’interno di un set",
547
- "unpackNotAllowed": "Decompressione non consentita in questo contesto",
548
- "unpackOperatorNotAllowed": "Operazione di decompressione non consentita in questo contesto",
549
+ "unpackNotAllowed": "Unpack is not allowed in this context",
550
+ "unpackOperatorNotAllowed": "Unpack operation is not allowed in this context",
549
551
  "unpackTuplesIllegal": "L'operazione di decompressione non è consentita nelle tuple precedenti a Python 3.8",
550
552
  "unpackedArgInTypeArgument": "Gli argomenti non compressi non possono essere usati negli elenchi di argomenti tipo",
551
553
  "unpackedArgWithVariadicParam": "Non è possibile usare l'argomento decompresso per il parametro TypeVarTuple",
@@ -566,7 +568,7 @@
566
568
  "variadicTypeParamTooManyAlias": "L'alias di tipo può avere al massimo un parametro di tipo TypeVarTuple, ma ne ha ricevuti più ({names})",
567
569
  "variadicTypeParamTooManyClass": "La classe generica può avere al massimo un parametro di tipo TypeVarTuple, ma ne ha ricevuti più ({names})",
568
570
  "walrusIllegal": "L'operatore \":=\" richiede Python 3.8 o versione successiva",
569
- "walrusNotAllowed": "L'operatore \":=\" non è consentito in questo contesto senza parentesi circostanti",
571
+ "walrusNotAllowed": "Operator \":=\" is not allowed in this context without surrounding parentheses",
570
572
  "wildcardInFunction": "Importazione di caratteri jolly non consentita all'interno di una classe o di una funzione",
571
573
  "wildcardLibraryImport": "Importazione di caratteri jolly da una libreria non consentita",
572
574
  "wildcardPatternTypePartiallyUnknown": "Il tipo acquisito dal modello con caratteri jolly è parzialmente sconosciuto",
@@ -576,7 +578,7 @@
576
578
  "yieldOutsideFunction": "\"yield\" non consentito all'esterno di una funzione o di un'espressione lambda",
577
579
  "yieldWithinListCompr": "\"yield\" non consentito all'interno di una comprensione di elenco",
578
580
  "zeroCaseStatementsFound": "L’istruzione Match deve includere almeno un’istruzione case",
579
- "zeroLengthTupleNotAllowed": "Tupla di lunghezza zero non consentita in questo contesto"
581
+ "zeroLengthTupleNotAllowed": "Zero-length tuple is not allowed in this context"
580
582
  },
581
583
  "DiagnosticAddendum": {
582
584
  "argParam": "L'argomento corrisponde al parametro \"{paramName}\"",
@@ -619,6 +621,7 @@
619
621
  "memberIsInitVar": "Il membro \"{name}\" è un campo solo init",
620
622
  "memberIsInvariant": "\"{name}\" è invariante perché modificabile",
621
623
  "memberIsNotFinalInProtocol": "\"{name}\" non è contrassegnato come Finale nel protocollo",
624
+ "memberIsWritableInProtocol": "\"{name}\" is writable in protocol",
622
625
  "memberSetClassVar": "Non è possibile assegnare il membro \"{name}\" tramite un'istanza di classe perché è una ClassVar",
623
626
  "memberTypeMismatch": "\"{name}\" è un tipo non compatibile",
624
627
  "memberUnknown": "Il membro \"{name}\" è sconosciuto",