mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-27 04:22:42 +07:00
Mikhail Golubevandintellij-monorepo-bot
e9d11d1215
GitOrigin-RevId: 718645cc5dfd6d0a14f1bd802f3c5bb2bb2c6074
8 lines
544 B
Python
8 lines
544 B
Python
match 42:
|
|
case <error descr="Pattern does not bind name y">[x]</error> | <error descr="Pattern does not bind name x">[y]</error>:
|
|
pass
|
|
case <error descr="Pattern does not bind name z">[x, y]</error> | <error descr="Pattern does not bind name x">[y, z]</error>:
|
|
pass
|
|
case <error descr="Pattern does not bind name z">(<error descr="Pattern does not bind name y">[x]</error> | <error descr="Pattern does not bind name x">[y]</error>)</error> | <error descr="Pattern does not bind names x, y">[z]</error>:
|
|
pass
|