Mathieu
Mathieu
thanks, what's the underlying motivation? As presented now, it's a downgrade in UI for me
@starkience should I close ?
Hi, yes ap gets increased in the function call. I will try to provide a small reproducible example when I have some time
Hi @FrancoGiachetta here's a MRE: ```cairo %builtins output pedersen range_check ecdsa bitwise ec_op keccak poseidon range_check96 add_mod mul_mod from starkware.cairo.common.cairo_builtins import ( BitwiseBuiltin, KeccakBuiltin, PoseidonBuiltin, ModBuiltin, HashBuiltin, SignatureBuiltin, EcOpBuiltin, )...
> In the Hint References you sent, the offset1 of foo_label is ap - 1, which is that you are trying to cast as MyStructPointer*. Couldn't that be the error?...
no, because `my_struct` is an implicit arg, it's always returned. It's true that I could've made it explicit, though, it's equivalent. I will edit the program in my previous message
Hey @FrancoGiachetta here's an example of a case where this issue lead to a VM execution that did not match the definition of the program - i think it's related...
Hi @FrancoGiachetta I guess this is because we're doing a `cast` inside the `let my_struct` instruction, but because this one is still a reference when you try to print it,...
#897
Some more context on how to use a trait's impl associated items in another impl: ```rust #[derive(Drop, Copy)] struct TupleThree { x: T, y: T, z: T, } impl IndexTupleThree...