Review comment

Author: dhruvmanila

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

@@ -80,8 +80,8 @@ 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, it is considered similar to `Never` itself and is
-disjoint from any other type.
+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.
 
 ```py
 static_assert(is_disjoint_from(tuple[Never], tuple[Never]))