Remove impossible branches

lambdaclass · Oct 14, 2024 · 23f439e · 23f439e
1 parent abc6907
commit 23f439e
Showing 1 changed file with 1 addition and 29 deletions.
diff --git a/src/vm/cast.rs b/src/vm/cast.rs
@@ -98,38 +98,10 @@ pub fn eval_upcast(
             CoreTypeConcrete::Uint64(_) => Value::U64(value.try_into().unwrap()),
             CoreTypeConcrete::Uint128(_) => Value::U128(value.try_into().unwrap()),
             CoreTypeConcrete::Felt252(_) => Value::Felt(value.try_into().unwrap()),
-            CoreTypeConcrete::Array(_) => todo!("Array"),
-            CoreTypeConcrete::Coupon(_) => todo!("Coupon"),
-            CoreTypeConcrete::Bitwise(_) => todo!("Bitwise"),
-            CoreTypeConcrete::Box(_) => todo!("Box"),
-            CoreTypeConcrete::Circuit(_) => todo!("Circuit"),
-            CoreTypeConcrete::Const(_) => todo!("Const"),
-            CoreTypeConcrete::EcOp(_) => todo!("EcOp"),
-            CoreTypeConcrete::EcPoint(_) => todo!("EcPoint"),
-            CoreTypeConcrete::EcState(_) => todo!("EcState"),
-            CoreTypeConcrete::GasBuiltin(_) => todo!("GasBuiltin"),
-            CoreTypeConcrete::BuiltinCosts(_) => todo!("BuiltinCosts"),
-            CoreTypeConcrete::Uint128MulGuarantee(_) => todo!("Uint128MulGuarantee"),
             CoreTypeConcrete::Sint16(_) => todo!("Sint16"),
             CoreTypeConcrete::Sint64(_) => todo!("Sint64"),
-            CoreTypeConcrete::NonZero(_) => todo!("NonZero"),
-            CoreTypeConcrete::Nullable(_) => todo!("Nullable"),
-            CoreTypeConcrete::RangeCheck(_) => todo!("RangeCheck"),
-            CoreTypeConcrete::RangeCheck96(_) => todo!("RangeCheck96"),
-            CoreTypeConcrete::Uninitialized(_) => todo!("Uninitialized"),
-            CoreTypeConcrete::Enum(_) => todo!("Enum"),
-            CoreTypeConcrete::Struct(_) => todo!("Struct"),
-            CoreTypeConcrete::Felt252Dict(_) => todo!("Felt252Dict"),
-            CoreTypeConcrete::Felt252DictEntry(_) => todo!("Felt252DictEntry"),
-            CoreTypeConcrete::SquashedFelt252Dict(_) => todo!("SquashedFelt252Dict"),
-            CoreTypeConcrete::Pedersen(_) => todo!("Pedersen"),
-            CoreTypeConcrete::Poseidon(_) => todo!("Poseidon"),
-            CoreTypeConcrete::Span(_) => todo!("Span"),
-            CoreTypeConcrete::StarkNet(_) => todo!("StarkNet"),
-            CoreTypeConcrete::SegmentArena(_) => todo!("SegmentArena"),
-            CoreTypeConcrete::Snapshot(_) => todo!("Snapshot"),
-            CoreTypeConcrete::Bytes31(_) => todo!("Bytes31"),
             CoreTypeConcrete::BoundedInt(_) => todo!("BoundedInt"),
+            _ => todo!(),
         }],
     )
 }