mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-28 02:04:23 +07:00
Morgan Bartholomewandintellij-monorepo-bot
51615780f9
Merge-request: IJ-MR-171620 Merged-by: Morgan Bartholomew <morgan.bartholomew@jetbrains.com> GitOrigin-RevId: d9b13a99bad56a112f04febfc939823397b55ddd
13 lines
275 B
HTML
13 lines
275 B
HTML
<html>
|
|
<body>
|
|
<p>Reports unnecessary calls to typing.cast when the expression already has the specified target type.</p>
|
|
<p><b>Example:</b></p>
|
|
<pre><code>
|
|
from typing import cast
|
|
|
|
a: int
|
|
b = <b>cast(int, a)</b> # Unnecessary, a is already int
|
|
</code></pre>
|
|
</body>
|
|
</html>
|