mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-02 02:32:34 +07:00
GitOrigin-RevId: 0e35bd5d50e2d6b544cbd4467d184b6be21b7574
11 lines
287 B
Python
11 lines
287 B
Python
class Point:
|
|
__match_args__ = ("x", "y")
|
|
def __init__(self, x, y):
|
|
self.x = x
|
|
self.y = y
|
|
|
|
def f(p):
|
|
match p:
|
|
case Point(0, <warning descr="Attribute 'x' is already specified as positional pattern at position 1"><caret>x=0</warning>):
|
|
pass
|