From 5b1de9a5dbddd91840eb1635c0e7b904896f78fe Mon Sep 17 00:00:00 2001
From: Josh L <josh11b@users.noreply.github.com>
Date: Mon, 2 Dec 2024 23:58:40 +0000
Subject: [PATCH] Checkpoint progress.

---
 toolchain/check/context.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toolchain/check/context.cpp b/toolchain/check/context.cpp
index bd0da83643a7b..a295811272c37 100644
--- 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;