From c6d4f5e2ab15d4fc34dc459b95da50d3a94f7d2f Mon Sep 17 00:00:00 2001
From: David Peter <mail@david-peter.de>
Date: Fri, 12 Dec 2025 09:05:29 +0100
Subject: [PATCH] [ty] Remove now-unnecessary Divergent check

---
 crates/ty_python_semantic/src/types/call/bind.rs | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/crates/ty_python_semantic/src/types/call/bind.rs b/crates/ty_python_semantic/src/types/call/bind.rs
index e81d26d8b8..005013e70b 100644
--- a/crates/ty_python_semantic/src/types/call/bind.rs
+++ b/crates/ty_python_semantic/src/types/call/bind.rs
@@ -4659,15 +4659,6 @@ fn asynccontextmanager_return_type<'db>(db: &'db dyn Db, func_ty: Type<'db>) ->
         .ok()?
         .homogeneous_element_type(db);
 
-    if yield_ty.is_divergent()
-        || signature
-            .parameters()
-            .iter()
-            .any(|param| param.annotated_type().is_some_and(|ty| ty.is_divergent()))
-    {
-        return Some(yield_ty);
-    }
-
     let context_manager =
         known_module_symbol(db, KnownModule::Contextlib, "_AsyncGeneratorContextManager")
             .place