Update tuple with Never tests and comment

Author: dhruvmanila

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

@@ -80,14 +80,14 @@ 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 cannot be instantiated. Like `Never`, the type
-contains no objects, and is therefore disjoint from any other type.
+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
-static_assert(is_disjoint_from(tuple[Never], tuple[Never]))
-static_assert(is_disjoint_from(tuple[int, Never], tuple[int, Never]))
-static_assert(is_disjoint_from(tuple[int, Never], tuple[Never, int]))
-static_assert(is_disjoint_from(tuple[int, Never], tuple[int, 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
 ```
 
 ## Unions