mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-30 16:21:49 +07:00
Semyon Proshevandintellij-monorepo-bot
b0e57d5d3a
GitOrigin-RevId: 10729d211a99d3d1542e26752e2e103eb94396dc
7 lines
276 B
Python
7 lines
276 B
Python
from typing_extensions import Final
|
|
|
|
a: Final[int]
|
|
b: <warning descr="If assigned value is omitted, there should be an explicit type argument to 'Final'">Final</warning>
|
|
<warning descr="'b' is 'Final' and could not be reassigned">b</warning> = "10"
|
|
c: Final[str] = "10"
|
|
d: int |