search

starkware-libs / cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.
Apache License 2.0
1.56k stars 479 forks source link

bug(ls): ambiguous method call for `is_zero` #6378

Open enitrat opened 2 weeks ago

enitrat commented 2 weeks ago

Bug Report

Cairo version:

2.8.2 - last edition

Current behavior:

https://github.com/kkrt-labs/kakarot-ssj/blob/main/crates/contracts/tests/test_ownable.cairo#L57-L75

calling is_zero generates an LS error with

image

Expected behavior:

Zeroable is internal to the corelib, so no diagnostic should be reported. This builds fine.

Steps to reproduce:

Clone https://github.com/kkrt-labs/kakarot-ssj/ and navigate to the corresponding file