2 files changed, 1 insertions, 10 deletions
diff --git a/tvix/eval/src/value/mod.rs b/tvix/eval/src/value/mod.rs
index 175b33bfa2e8..9231e91bbe8b 100644
--- a/tvix/eval/src/value/mod.rs
+++ b/tvix/eval/src/value/mod.rs
@@ -44,7 +44,6 @@ pub enum Value {
     // are never returned to or created directly by users.
     Thunk(Thunk),
     AttrNotFound,
-    DynamicUpvalueMissing(NixString),
     Blueprint(Rc<Lambda>),
     DeferredUpvalue(StackIdx),
 }
@@ -240,7 +239,6 @@ impl Value {
             }),
 
             (Value::AttrNotFound, _)
-            | (Value::DynamicUpvalueMissing(_), _)
             | (Value::Blueprint(_), _)
             | (Value::DeferredUpvalue(_), _) => {
                 panic!("tvix bug: .coerce_to_string() called on internal value")
@@ -263,7 +261,6 @@ impl Value {
             // Internal types
             Value::Thunk(_)
             | Value::AttrNotFound
-            | Value::DynamicUpvalueMissing(_)
             | Value::Blueprint(_)
             | Value::DeferredUpvalue(_) => "internal",
         }
@@ -365,9 +362,6 @@ impl Display for Value {
             Value::AttrNotFound => f.write_str("internal[not found]"),
             Value::Blueprint(_) => f.write_str("internal[blueprint]"),
             Value::DeferredUpvalue(_) => f.write_str("internal[deferred_upvalue]"),
-            Value::DynamicUpvalueMissing(name) => {
-                write!(f, "internal[no_dyn_upvalue({name})]")
-            }
         }
     }
 }
diff --git a/tvix/eval/src/vm.rs b/tvix/eval/src/vm.rs
index 52de99f490ed..252635de56d0 100644
--- a/tvix/eval/src/vm.rs
+++ b/tvix/eval/src/vm.rs
@@ -836,10 +836,7 @@ impl<'o> VM<'o> {
 
             // If any of these internal values are encountered here a
             // critical error has happened (likely a compiler bug).
-            Value::AttrNotFound
-            | Value::DynamicUpvalueMissing(_)
-            | Value::Blueprint(_)
-            | Value::DeferredUpvalue(_) => {
+            Value::AttrNotFound | Value::Blueprint(_) | Value::DeferredUpvalue(_) => {
                 panic!("tvix bug: internal value left on stack: {:?}", value)
             }