HIR Typecheck - Plan: Use associated type bounds to expand further

1 files changed, 2 insertions, 2 deletions

diff --git a/src/hir/type.hpp b/src/hir/type.hpp
index adb48df0..597319a9 100644
--- a/src/hir/type.hpp
+++ b/src/hir/type.hpp
@@ -73,8 +73,8 @@ public:
     // - Pointer
 
     TAGGED_UNION(TypePathBinding, Unbound,
-    (Unbound, struct {}),   // Not yet bound (state during first part of lowering) - TODO kill
-    (Opaque, struct {}),
+    (Unbound, struct {}),   // Not yet bound, either during lowering OR during resolution (when associated and still being resolved)
+    (Opaque, struct {}),    // Opaque, i.e. An associated type of a generic (or Self in a trait)
     (Struct, const ::HIR::Struct*),
     (Enum, const ::HIR::Enum*)
     );