[ty] Remove now-unnecessary Divergent check (#21935)

## Summary

This check is not necessary thanks to
https://github.com/astral-sh/ruff/pull/21906.
This commit is contained in:
David Peter 2025-12-13 16:32:09 +01:00 committed by GitHub
parent e2ec2bc306
commit 82a7598aa8
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
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