@@ -5126,7 +5126,7 @@ msgstr "Funções e decoradores"
5126
5126
5127
5127
#: ../../library/typing.rst:2529
5128
5128
msgid "Cast a value to a type."
5129
- msgstr "Define um valor para um tipo."
5129
+ msgstr "Converta um valor em um tipo."
5130
5130
5131
5131
#: ../../library/typing.rst:2531
5132
5132
msgid ""
@@ -5224,9 +5224,9 @@ msgstr ""
5224
5224
"def int_or_str(arg: int | str) -> None:\n"
5225
5225
" match arg:\n"
5226
5226
" case int():\n"
5227
- " print(\" It's an int\" )\n"
5227
+ " print(\" É um int\" )\n"
5228
5228
" case str():\n"
5229
- " print(\" It's a str\" )\n"
5229
+ " print(\" É um str\" )\n"
5230
5230
" case _ as unreachable:\n"
5231
5231
" assert_never(unreachable)"
5232
5232
@@ -5250,7 +5250,7 @@ msgid ""
5250
5250
"passed in must be the bottom type, :data:`Never`, and nothing else."
5251
5251
msgstr ""
5252
5252
"Se um verificador de tipos descobrir que uma chamada para ``assert_never()`` "
5253
- "é alcançável, ele emitirá um erro. por exemplo, se o anotação de tipo para "
5253
+ "é alcançável, ele emitirá um erro. Por exemplo, se a anotação de tipo para "
5254
5254
"``arg`` fosse ``int | str | float``, o verificador de tipos emitiria um erro "
5255
5255
"indicando que ``unreachable`` é do tipo :class:`float`. Para que uma chamada "
5256
5256
"para ``assert_never`` passe verificação de tipos, o tipo inferido do "
@@ -5266,6 +5266,9 @@ msgid ""
5266
5266
"latest/guides/unreachable.html>`__ has more information about exhaustiveness "
5267
5267
"checking with static typing."
5268
5268
msgstr ""
5269
+ "`Unreachable Code and Exhaustiveness Checking <https://tipagem.Python.org/en/"
5270
+ "latest/guides/unreachable.html>`__ tem mais informações sobre a verificação "
5271
+ "de exaustividade com tipagem estática."
5269
5272
5270
5273
#: ../../library/typing.rst:2601
5271
5274
msgid "Ask a static type checker to reveal the inferred type of an expression."
0 commit comments