From 7614a382cc405b7ba9ec55d3c48459a812c43540 Mon Sep 17 00:00:00 2001
From: Chris Fallin <chris@cfallin.org>
Date: Thu, 23 Feb 2023 19:35:45 -0800
Subject: [PATCH] fix const_eval for opts

---
 src/interp.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/interp.rs b/src/interp.rs
index b5a9e33..e0617bf 100644
--- a/src/interp.rs
+++ b/src/interp.rs
@@ -949,6 +949,7 @@ pub fn const_eval(
                 ConstVal::None
             })
         }
+        (_, args) if args.iter().any(|&arg| arg == ConstVal::None) => None,
         (op, args) => unimplemented!(
             "Undefined operator or arg combination: {:?}, {:?}",
             op,