Checkpoint progress.

carbon-language · Dec 2, 2024 · 5b1de9a · 5b1de9a
1 parent 18122c6
commit 5b1de9a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/toolchain/check/context.cpp b/toolchain/check/context.cpp
@@ -1282,7 +1282,7 @@ auto Context::TryToDefineType(SemIR::TypeId type_id,
         ResolveSpecificDefinition(*this, interface.specific_id);
       }
     }
-    // TODO: Process other requirements.
+    // TODO: Finish facet type resolution.
   }
 
   return true;