Cyclic0007/ruff
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

don't throw away return type

Browse Source
This commit is contained in:
Douglas Creager
2025-12-05 15:57:20 -05:00
parent 056258c767
commit 657685f731
1 changed files with 27 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

42
crates/ty_python_semantic/src/types/signatures.rs
View File

@@ -1153,13 +1153,17 @@ impl<'db> Signature<'db> {
other.parameters.as_paramspec(),
) {
(Some(self_bound_typevar), Some(other_bound_typevar)) => {
return ConstraintSet::constrain_typevar(
result.intersect(
db,
self_bound_typevar,
Type::TypeVar(other_bound_typevar),
Type::TypeVar(other_bound_typevar),
relation,
ConstraintSet::constrain_typevar(
db,
self_bound_typevar,
Type::TypeVar(other_bound_typevar),
Type::TypeVar(other_bound_typevar),
relation,
),
);
return result;
}
(Some(self_bound_typevar), None) => {
@@ -1168,13 +1172,17 @@ impl<'db> Signature<'db> {
CallableSignature::single(Signature::new(other.parameters.clone(), None)),
CallableTypeKind::ParamSpecValue,
));
return ConstraintSet::constrain_typevar(
result.intersect(
db,
self_bound_typevar,
Type::Never,
upper,
relation,
ConstraintSet::constrain_typevar(
db,
self_bound_typevar,
Type::Never,
upper,
relation,
),
);
return result;
}
(None, Some(other_bound_typevar)) => {
@@ -1183,13 +1191,17 @@ impl<'db> Signature<'db> {
CallableSignature::single(Signature::new(self.parameters.clone(), None)),
CallableTypeKind::ParamSpecValue,
));
return ConstraintSet::constrain_typevar(
result.intersect(
db,
other_bound_typevar,
lower,
Type::object(),
relation,
ConstraintSet::constrain_typevar(
db,
other_bound_typevar,
lower,
Type::object(),
relation,
),
);
return result;
}
(None, None) => {}