`pyright` finds type errors with `MatchesSetwise` and tuples

[allenap]

Using pyright:

# uv run pyright --version
pyright 1.1.408

I get the following typing errors:

# These are fine:
self.assertThat(["foo"], MatchesSetwise(Equals("foo")))
foo = ("foo",)
self.assertThat([foo], MatchesSetwise(Equals(foo)))
self.assertThat([foo], MatchesSetwise(Equals(("foo",))))
# But this does not type check:
self.assertThat([("foo",)], MatchesSetwise(Equals(("foo",))))

The error is:

Argument of type "MatchesSetwise[tuple[Literal['foo']]]"
cannot be assigned to parameter "matcher" of type "Matcher[T@assertThat]" in function "assertThat"
"MatchesSetwise[tuple[Literal['foo']]]" is not assignable to "Matcher[list[tuple[str]]]"
Type parameter "T@Matcher" is invariant,
but "Iterable[tuple[Literal['foo']]]" is not the same as "list[tuple[str]]" (reportArgumentType)

With mypy no errors are reported, so this might be a bug in pyright.

[bigjools]

What does uv ty say?

[allenap]

What does uv ty say?

It's okay with those, but the following gives an error:

foo: tuple[str, int | None] = ("foo", 1)
self.assertThat([foo], MatchesSetwise(Equals(("foo", None))))

The error (slightly edited to remove internal details):

error[invalid-argument-type]: Argument to bound method `assertThat` is incorrect
  --> src/test_things.py:94:36
   |
93 |             foo: tuple[str, int | None] = ("foo", 1)
94 |             self.assertThat([foo], MatchesSetwise(Equals(("foo", None))))
   |                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Expected `Matcher[list[Unknown | tuple[str, int]] | Iterable[tuple[str, None]]]`, found `MatchesSetwise[tuple[str, None]]`
   |
info: Method defined here
   --> /.../uv/project/lib/python3.11/site-packages/testtools/testcase.py:576:9
    |
574 |         return capture.matchee
575 |
576 |     def assertThat(
    |         ^^^^^^^^^^
577 |         self,
578 |         matchee: T,
579 |         matcher: "Matcher[T]",
    |         --------------------- Parameter declared here
580 |         message: str = "",
581 |         verbose: bool = False,
    |
info: rule `invalid-argument-type` is enabled by default

Found 1 diagnostic

[bigjools]