diff --git a/crates/red_knot_python_semantic/resources/mdtest/type_properties/is_fully_static.md b/crates/red_knot_python_semantic/resources/mdtest/type_properties/is_fully_static.md
index eb5792c498..66fad1c136 100644
--- a/crates/red_knot_python_semantic/resources/mdtest/type_properties/is_fully_static.md
+++ b/crates/red_knot_python_semantic/resources/mdtest/type_properties/is_fully_static.md
@@ -75,3 +75,27 @@ static_assert(not is_fully_static(Callable))
 # error: [invalid-type-form]
 static_assert(not is_fully_static(Callable[int, int]))
 ```
+
+Using function literals, we can check more variations of callable types as it allows us to define
+parameters without annotations and no return type.
+
+```py
+from knot_extensions import CallableTypeFromFunction, is_fully_static, static_assert
+
+def f00() -> None: ...
+def f01(a: int, b: str) -> None: ...
+def f11(): ...
+def f12(a, b): ...
+def f13(a, b: int): ...
+def f14(a, b: int) -> None: ...
+def f15(a, b) -> None: ...
+
+static_assert(is_fully_static(CallableTypeFromFunction[f00]))
+static_assert(is_fully_static(CallableTypeFromFunction[f01]))
+
+static_assert(not is_fully_static(CallableTypeFromFunction[f11]))
+static_assert(not is_fully_static(CallableTypeFromFunction[f12]))
+static_assert(not is_fully_static(CallableTypeFromFunction[f13]))
+static_assert(not is_fully_static(CallableTypeFromFunction[f14]))
+static_assert(not is_fully_static(CallableTypeFromFunction[f15]))
+```
diff --git a/crates/red_knot_python_semantic/src/types.rs b/crates/red_knot_python_semantic/src/types.rs
index 578c0860d7..298eafc261 100644
--- a/crates/red_knot_python_semantic/src/types.rs
+++ b/crates/red_knot_python_semantic/src/types.rs
@@ -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;
         }