Same binder allowed multiple times in pats #280
Description
type Foo(U32, U32)
f() Foo:
Foo(1, 2)
main():
match f():
Foo(x, x): print(x)
Doesn't give type err currently.
{{ message }}
type Foo(U32, U32)
f() Foo:
Foo(1, 2)
main():
match f():
Foo(x, x): print(x)
Doesn't give type err currently.