Remove misplaced TODO.

zygoloid · zygoloid · commit 71ad10ad63b0 · 2025-09-12T21:46:42.000Z
diff --git a/toolchain/check/type_completion.cpp b/toolchain/check/type_completion.cpp
@@ -168,9 +168,6 @@ class TypeCompleter {
     requires(InstT::Kind.is_symbolic_when_type())
   auto BuildInfoForInst(SemIR::TypeId type_id, InstT /*inst*/) const
       -> SemIR::CompleteTypeInfo {
-    // TODO: We're implicitly assuming here that dependent types are not
-    // abstract. How do we enforce that dependent types are non-abstract when
-    // they need to be?
     return {.value_repr = MakeDependentValueRepr(type_id)};
   }
 

Original file line number	Diff line number	Diff line change
`@@ -168,9 +168,6 @@ class TypeCompleter {`
`168`	`168`	`requires(InstT::Kind.is_symbolic_when_type())`
`169`	`169`	`auto BuildInfoForInst(SemIR::TypeId type_id, InstT /inst/) const`
`170`	`170`	`-> SemIR::CompleteTypeInfo {`
`171`		`- // TODO: We're implicitly assuming here that dependent types are not`
`172`		`- // abstract. How do we enforce that dependent types are non-abstract when`
`173`		`- // they need to be?`
`174`	`171`	`return {.value_repr = MakeDependentValueRepr(type_id)};`
`175`	`172`	`}`
`176`	`173`