Merge pull request #247 from scala/backport-lts-3.3-22602

Backport "Add regression test for scala#22076" to 3.3 LTS

Author: tgodzik

tests/pos/match-type-disjoint-22076.scala

@@ -0,0 +1,8 @@
+trait Foo[CP <: NonEmptyTuple]:
+  type EndNode = Tuple.Last[CP]
+
+def f(end: Foo[?]): end.EndNode =
+  ???
+
+trait Bar[CP <: NonEmptyTuple] extends Foo[CP]:
+  val v: EndNode = f(this)