diff --git a/crates/red_knot_python_semantic/src/types/generics.rs b/crates/red_knot_python_semantic/src/types/generics.rs
index 66cd67f263e300..b1c0355ebf240b 100644
--- a/crates/red_knot_python_semantic/src/types/generics.rs
+++ b/crates/red_knot_python_semantic/src/types/generics.rs
@@ -154,6 +154,10 @@ impl<'db> Specialization<'db> {
     pub(crate) fn combine(self, db: &'db dyn Db, other: Self) -> Self {
         let generic_context = self.generic_context(db);
         assert!(other.generic_context(db) == generic_context);
+        // TODO special-casing Unknown to mean "no mapping" is not right here, and can give
+        // confusing/wrong results in cases where there was a mapping found for a typevar, and it
+        // was of type Unknown. We should probably add a bitset or similar to Specialization that
+        // explicitly tells us which typevars are mapped.
         let types: Box<[_]> = self
             .types(db)
             .into_iter()