diff --git a/help.html b/help.html index bc8674262..5f214fa54 100644 --- a/help.html +++ b/help.html @@ -1,2 +1,2 @@ -Help
-

Rustdoc help

Back
\ No newline at end of file +Help
+

Rustdoc help

Back
\ No newline at end of file diff --git a/settings.html b/settings.html index d570cb844..9673305a1 100644 --- a/settings.html +++ b/settings.html @@ -1,2 +1,2 @@ -Settings
-

Rustdoc settings

Back
\ No newline at end of file +Settings
+

Rustdoc settings

Back
\ No newline at end of file diff --git a/src/cairo_native/executor.rs.html b/src/cairo_native/executor.rs.html index 89d33815d..cd97a5408 100644 --- a/src/cairo_native/executor.rs.html +++ b/src/cairo_native/executor.rs.html @@ -1513,10 +1513,7 @@

Files

libc::free(ptr.cast().as_ptr()); Ok(value) }, - CoreTypeConcrete::EcPoint(_) => { - Ok(JitValue::from_jit(return_ptr.unwrap(), type_id, registry)) - } - CoreTypeConcrete::EcState(_) => { + CoreTypeConcrete::EcPoint(_) | CoreTypeConcrete::EcState(_) => { Ok(JitValue::from_jit(return_ptr.unwrap(), type_id, registry)) } CoreTypeConcrete::Felt252(_) @@ -1618,7 +1615,6 @@

Files

Ok(value) } }, - CoreTypeConcrete::Uninitialized(_) => todo!(), CoreTypeConcrete::Enum(info) => { let (_, tag_layout, variant_layouts) = crate::types::r#enum::get_layout_for_variants(registry, &info.variants).unwrap(); @@ -1705,7 +1701,6 @@

Files

registry, )), }, - CoreTypeConcrete::Felt252DictEntry(_) => todo!(), CoreTypeConcrete::SquashedFelt252Dict(_) => match return_ptr { Some(return_ptr) => Ok(JitValue::from_jit( unsafe { *return_ptr.cast::<NonNull<()>>().as_ref() }, @@ -1718,20 +1713,25 @@

Files

registry, )), }, - CoreTypeConcrete::Span(_) => todo!(), - CoreTypeConcrete::Snapshot(_) => todo!(), + // Builtins are handled before the call to parse_result // and should not be reached here. - CoreTypeConcrete::Bitwise(_) => unreachable!(), - CoreTypeConcrete::Const(_) => unreachable!(), - CoreTypeConcrete::EcOp(_) => unreachable!(), - CoreTypeConcrete::GasBuiltin(_) => unreachable!(), - CoreTypeConcrete::BuiltinCosts(_) => unreachable!(), - CoreTypeConcrete::RangeCheck(_) => unreachable!(), - CoreTypeConcrete::Pedersen(_) => unreachable!(), - CoreTypeConcrete::Poseidon(_) => unreachable!(), - CoreTypeConcrete::SegmentArena(_) => unreachable!(), - _ => todo!(), + CoreTypeConcrete::Bitwise(_) + | CoreTypeConcrete::Const(_) + | CoreTypeConcrete::EcOp(_) + | CoreTypeConcrete::GasBuiltin(_) + | CoreTypeConcrete::BuiltinCosts(_) + | CoreTypeConcrete::RangeCheck(_) + | CoreTypeConcrete::Pedersen(_) + | CoreTypeConcrete::Poseidon(_) + | CoreTypeConcrete::SegmentArena(_) => unreachable!(), + CoreTypeConcrete::Felt252DictEntry(_) + | CoreTypeConcrete::Span(_) + | CoreTypeConcrete::Snapshot(_) + | CoreTypeConcrete::BoundedInt(_) + | CoreTypeConcrete::Uninitialized(_) + | CoreTypeConcrete::Coupon(_) + | CoreTypeConcrete::StarkNet(_) => todo!(), } } \ No newline at end of file