From 8286782dafd3567b67fbd4d75873448cd9e98db6 Mon Sep 17 00:00:00 2001
From: Yann Hamdaoui <yann.hamdaoui@tweag.io>
Date: Mon, 12 Sep 2022 11:40:57 +0200
Subject: [PATCH] Ignore optional fields when forcing

---
 src/eval/operation.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/eval/operation.rs b/src/eval/operation.rs
index c1aa2aaba5..7747d41543 100644
--- a/src/eval/operation.rs
+++ b/src/eval/operation.rs
@@ -1143,6 +1143,8 @@ fn process_unary_operation(
 
                         let map = map
                             .into_iter()
+                            // We ignore empty optional fields
+                            .filter(|(_, t)| !is_empty_optional(t, &env))
                             .map(|(id, t)| {
                                 let stack_elem = Some(callstack::StackElem::Field {
                                     id: id.clone(),