diff --git a/crates/red_knot_python_semantic/src/types.rs b/crates/red_knot_python_semantic/src/types.rs
index 0d5a3990110296..9db7def74910e6 100644
--- a/crates/red_knot_python_semantic/src/types.rs
+++ b/crates/red_knot_python_semantic/src/types.rs
@@ -511,7 +511,7 @@ impl<'db> Type<'db> {
                 // TODO raise error
                 Type::Todo
             }
-            Type::BooleanLiteral(_) => Type::Unknown,
+            Type::BooleanLiteral(_) => Type::Todo,
             Type::StringLiteral(_) => {
                 // TODO defer to `typing.LiteralString`/`builtins.str` methods
                 // from typeshed's stubs
diff --git a/crates/red_knot_python_semantic/src/types/infer.rs b/crates/red_knot_python_semantic/src/types/infer.rs
index d8df765e66c153..24ef90d95ca855 100644
--- a/crates/red_knot_python_semantic/src/types/infer.rs
+++ b/crates/red_knot_python_semantic/src/types/infer.rs
@@ -1920,7 +1920,6 @@ impl<'db> TypeInferenceBuilder<'db> {
         is_async: bool,
         definition: Definition<'db>,
     ) {
-        println!("=> infer comprehension");
         let expression = self.index.expression(iterable);
         let result = infer_expression_types(self.db, expression);
 
@@ -1942,8 +1941,6 @@ impl<'db> TypeInferenceBuilder<'db> {
             result.expression_ty(iterable.scoped_ast_id(self.db, self.scope))
         };
 
-        println!("=> iterable_ty: {:?}", iterable_ty.display(self.db));
-
         let target_ty = if is_async {
             // TODO: async iterables/iterators! -- Alex
             Type::Todo