"Resolve unsoundness caught by pytype --strict-none-binding.

See go/pytype-releases#strict-none-binding and go/pytype-smarter-optional. In
short, pytype was previously more permissive when variables were initialized to
None but may have been re-assigned later. This change improves pytype's ability
to catch unsoundness in the affected files.

PiperOrigin-RevId: 567951095

android_env/components/coordinator.py

@@ -362,6 +362,7 @@ def _gather_simulator_signals(self) -> dict[str, np.ndarray]:
 
     # Grab pixels.
     if self._interaction_rate_sec > 0:
+      assert self._interaction_thread is not None
       pixels = self._interaction_thread.screenshot()  # Async mode.
     else:
       pixels = self._simulator.get_screenshot()  # Sync mode.