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

fixed a bug where the trait of trait impl were not substituted correc… #6430

Closed TomerStarkware closed 1 day ago

TomerStarkware commented 5 days ago

…tly when it is used as a generic argument

This change is Reviewable