perama-v / perama-v.github.io Goto Github PK

the link
https://github.com/OpenZeppelin/cairo-contracts/blob/main/contracts/Account.cairo

85 For an implementation of this model see
86 [here](https://github.com/OpenZeppelin/cairo-contracts/blob/main/contracts/Account.cairo).

returns a 404 error now and should be updated to
https://github.com/OpenZeppelin/cairo-contracts/blob/main/src/openzeppelin/account/IAccount.cairo

Hi There -

Awesome tutorial, best Cairo resource out there!

Wanted to clarify this statement: "Locals are good when you want to assert that a variable has a certain value. If you use a reference with an assert statement, the reference is redefined (it assigns rather than checks). " (https://perama-v.github.io/cairo/examples/variables/).

When I try it with this contract, execution fails:

%lang starknet
%builtins pedersen range_check

from starkware.cairo.common.cairo_builtins import HashBuiltin

@view
func let_assert() -> (assigned : felt):
    let x = 2
    assert x = 10
    return (x)
end

ASSERT_EQ instruction failed: 10 != 2.\n    assert x = 10

Is there another way how assert can be used to re-assign a reference as mentioned above?