Minor updates to tests

Author: sharkdp

crates/ty_python_semantic/resources/mdtest/scopes/eager.md

@@ -389,7 +389,7 @@ x = int
 class C:
     var: ClassVar[x]
 
-# TODO: should be `Unknown | str`
+# TODO: should ideally be `Unknown | str`, but we currently consider all reachable bindings
 reveal_type(C.var)  # revealed: Unknown | int | str
 
 x = str
@@ -405,7 +405,7 @@ x = int
 class C:
     var: ClassVar[x]
 
-# TODO: should be `str`
+# TODO: should ideally be `str`, but we currently consider all reachable bindings
 reveal_type(C.var)  # revealed: int | str
 
 x = str

crates/ty_python_semantic/resources/mdtest/statically_known_branches.md

@@ -1242,32 +1242,48 @@ def f() -> None:
 
 #### `if True`
 
+`mod.py`:
+
 ```py
 x: str
 
 if True:
     x: int
+```
 
-def f() -> None:
-    reveal_type(x)  # revealed: str | int
+`main.py`:
+
+```py
+from mod import x
+
+reveal_type(x)  # revealed: int
 ```
 
 #### `if False … else`
 
+`mod.py`:
+
 ```py
 x: str
 
 if False:
     pass
 else:
     x: int
+```
 
-def f() -> None:
-    reveal_type(x)  # revealed: str | int
+`main.py`:
+
+```py
+from mod import x
+
+reveal_type(x)  # revealed: int
 ```
 
 ### Ambiguous
 
+`mod.py`:
+
 ```py
 def flag() -> bool:
     return True
@@ -1276,9 +1292,14 @@ x: str
 
 if flag():
     x: int
+```
 
-def f() -> None:
-    reveal_type(x)  # revealed: str | int
+`main.py`:
+
+```py
+from mod import x
+
+reveal_type(x)  # revealed: str | int
 ```
 
 ## Conditional function definitions

crates/ty_python_semantic/resources/mdtest/terminal_statements.md

@@ -583,8 +583,8 @@ def top_level_return(cond1: bool, cond2: bool):
     x = 1
 
     def g():
-        # TODO We could potentially eliminate Unknown here, if we make sure
-        # that `g` is only called from within `top_level_return`.
+        # TODO We could potentially eliminate `Unknown` from the union here,
+        # if we make sure that `g` is only called from within `top_level_return`.
         reveal_type(x)  # revealed: Unknown | Literal[1, 2, 3]
     if cond1:
         if cond2: