From 705e4725ad2c738e6bdee29c978c6e95d30f8107 Mon Sep 17 00:00:00 2001 From: Douglas Creager Date: Wed, 3 Dec 2025 16:15:41 -0500 Subject: [PATCH] generic_context should work for callables too --- .../ty_python_semantic/src/types/call/bind.rs | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/crates/ty_python_semantic/src/types/call/bind.rs b/crates/ty_python_semantic/src/types/call/bind.rs index 2093f2f377..e436d90bdd 100644 --- a/crates/ty_python_semantic/src/types/call/bind.rs +++ b/crates/ty_python_semantic/src/types/call/bind.rs @@ -821,6 +821,23 @@ impl<'db> Bindings<'db> { function_generic_context(bound_method.function(db)) } + Type::Callable(callable) => { + let union = UnionType::from_elements( + db, + callable + .signatures(db) + .overloads + .iter() + .filter_map(|signature| signature.generic_context) + .map(wrap_generic_context), + ); + if union.is_never() { + Type::none(db) + } else { + union + } + } + Type::KnownInstance(KnownInstanceType::TypeAliasType( TypeAliasType::PEP695(alias), )) => alias