[red-knot] Fix fully static check for callable type (#16803)
## Summary This PR fixes a bug in the check for fully static callable type where we would skip unannotated parameter type. ## Test Plan Add tests using the new `CallableTypeFromFunction` special form.
This commit is contained in:
@@ -4579,7 +4579,7 @@ impl<'db> GeneralCallableType<'db> {
|
||||
if signature.parameters().iter().any(|parameter| {
|
||||
parameter
|
||||
.annotated_type()
|
||||
.is_some_and(|annotated_type| !annotated_type.is_fully_static(db))
|
||||
.is_none_or(|annotated_type| !annotated_type.is_fully_static(db))
|
||||
}) {
|
||||
return false;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user