[red-knot] Move tuple containing Never tests (#17137)

Refer
#17094 (comment)

Author: dhruvmanila

crates/red_knot_python_semantic/resources/mdtest/annotations/tuple.md

@@ -19,6 +19,11 @@ static_assert(is_equivalent_to(Never, tuple[int, Never]))
 static_assert(is_equivalent_to(Never, tuple[int, Never, str]))
 static_assert(is_equivalent_to(Never, tuple[int, tuple[str, Never]]))
 static_assert(is_equivalent_to(Never, tuple[tuple[str, Never], int]))
+
+def _(x: tuple[Never], y: tuple[int, Never], z: tuple[Never, int]):
+    reveal_type(x)  # revealed: Never
+    reveal_type(y)  # revealed: Never
+    reveal_type(z)  # revealed: Never
 ```
 
 The empty `tuple` is *not* equivalent to `Never`!