Allow shadowing in match patterns

[jfecher]

Problem

From #7312 (comment)

The initial match compiler PR disallowed shadowing in match patterns since it leaves error checking for later PRs and we'd need a new error to check that the same name isn't defined multiple times in the same pattern.

Happy Case

We should implement this check and remove the TODO

Workaround

None

Workaround Description

No response

Additional Context

No response

Project Impact

None

Blocker Context

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response