1 files changed, 4 insertions, 2 deletions
diff --git a/src/Language/Fiddle/Ast/Internal/SyntaxTree.hs b/src/Language/Fiddle/Ast/Internal/SyntaxTree.hs
index 6f67149..610fdb2 100644
--- a/src/Language/Fiddle/Ast/Internal/SyntaxTree.hs
+++ b/src/Language/Fiddle/Ast/Internal/SyntaxTree.hs
@@ -452,8 +452,10 @@ data ObjTypeDecl stage f a where
       regOffset :: RegisterOffset stage,
       -- | Optional register modifier.
       regModifier :: Maybe (Modifier f a),
-      -- | Optional register identifier.
-      regIdent :: Maybe (Identifier f a),
+      -- | Optional register identifier. This is guaranteed to exist after
+      -- Qualification, where a generated identifier will be provided if it
+      -- doesn't exist.
+      regIdent :: Guaranteed (stage .>= Qualified) (Identifier f a),
       -- | Size of the register.
       regSize :: Expression stage f a,
       -- | Optional register body.