diff --git a/crates/ty_python_semantic/src/types/generics.rs b/crates/ty_python_semantic/src/types/generics.rs
index fe4bb1e3ed..27c5b05a15 100644
--- a/crates/ty_python_semantic/src/types/generics.rs
+++ b/crates/ty_python_semantic/src/types/generics.rs
@@ -1571,6 +1571,8 @@ impl<'db> SpecializationBuilder<'db> {
                 let upper = constraint.upper(self.db);
                 if !upper.is_object() {
                     self.add_type_mapping(typevar, upper, variance, &mut f);
+                } else if !lower.is_never() {
+                    self.add_type_mapping(typevar, lower, variance, &mut f);
                 }
                 if let Type::TypeVar(lower_bound_typevar) = lower {
                     self.add_type_mapping(