From a32ad3182a2a4e181d4bc096de3e888976f81f76 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=EC=A0=95=EC=8B=9C=EC=9B=90?= <sebastianrcnt@yonsei.ac.kr>
Date: Sun, 16 Aug 2026 21:42:20 +0900
Subject: [PATCH] carry contextual M7 type metadata

---
 fec/src/ast.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/fec/src/ast.h b/fec/src/ast.h
index 02b3743..efbf887 100644
--- a/fec/src/ast.h
+++ b/fec/src/ast.h
@@ -30,6 +30,9 @@ struct FeNode {
     char *aux_text;
     char *aux_cname;
     FeType *sem_type;
+    /* Expected contextual wrapper, used by M7 for null/Some and E!T
+       success/failure construction without mutating the expression's type. */
+    FeType *sem_context;
     FeNode *sem_decl;
     unsigned flags;
 };