summaryrefslogtreecommitdiff
path: root/src/hir/type.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/hir/type.hpp')
-rw-r--r--src/hir/type.hpp4
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*)
);