[ty] Remove now-unnecessary Divergent check

This commit is contained in:
David Peter 2025-12-12 09:05:29 +01:00
parent 0138cd238a
commit c6d4f5e2ab
1 changed files with 0 additions and 9 deletions

View File

@ -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