Move tests to annotations/tuple.md

Author: dhruvmanila

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

@@ -0,0 +1,13 @@
+# Tuple
+
+## `Never`
+
+If a tuple type contains a `Never` element, then it is eagerly simplified to `Never` which means
+that a tuple type containing `Never` is disjoint from any other tuple type.
+
+```py
+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
+```

crates/red_knot_python_semantic/resources/mdtest/type_properties/is_disjoint_from.md

@@ -80,16 +80,6 @@ static_assert(is_disjoint_from(tuple[Literal[1], Literal[2]], tuple[Literal[1],
 static_assert(not is_disjoint_from(tuple[Literal[1], Literal[2]], tuple[Literal[1], int]))
 ```
 
-If a tuple type contains a `Never` element, then it is eagerly simplified to `Never` which means
-that a tuple type containing `Never` is disjoint from any other tuple type.
-
-```py
-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
-```
-
 ## Unions
 
 ```py
@@ -366,8 +356,10 @@ static_assert(is_disjoint_from(type[UsesMeta1], type[UsesMeta2]))
 
 ## Callables
 
-No two callable types are disjoint because there exists a callable type
+No two callable types are disjoint because there exists a non-empty callable type
 `(*args: object, **kwargs: object) -> Never` that is a subtype of all fully static callable types.
+As such, for any two callable types, it is possible to conceive of a runtime callable object that would
+inhabit both types simultaneously.
 
 ```py
 from knot_extensions import CallableTypeOf, is_disjoint_from, static_assert