From 82a7598aa8dc5cd2dde18e4da6e0e24b48dc7392 Mon Sep 17 00:00:00 2001 From: David Peter Date: Sat, 13 Dec 2025 16:32:09 +0100 Subject: [PATCH] [ty] Remove now-unnecessary Divergent check (#21935) ## Summary This check is not necessary thanks to https://github.com/astral-sh/ruff/pull/21906. --- 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