Allow Any to match sequence patterns in match/case

[sterliakov]

Fixes #17095 (comment, the primary issue was already fixed somewhere before). Fixes #16272. Fixes #12532. Fixes #12770.

Prior to this PR mypy did not consider that Any can match any patterns, including sequence patterns (e.g. case [_]). This PR allows matching Any against any such patterns.

[github-actions]

Diff from mypy_primer, showing the effect of this PR on open source code:

jax (https://github.com/google/jax)
+ jax/_src/pallas/mosaic_gpu/primitives.py:505: error: Incompatible types in capture pattern (pattern captures type "int", variable has type "object")  [misc]

[sterliakov]

Primer diff is fine - that branch used to be erroneously considered unreachable. Now we're fine, lhs_swizzle has to be explicitly annotated (we don't attempt such inference with match, at least now).

[hauntsaninja]

Nice, thank you!