feat(traits): Type checking for Trait impl method signatures #2652

Merged

jfecher merged 12 commits intonoir-lang:masterfrom

metacraft-labs:traits-impl-methods-typecheck

Sep 19, 2023

Commits on Sep 18, 2023

Add trait method signature type checks
Alex Vitkov
committed
cleanup
Alex Vitkov
committed
cleanup
Alex Vitkov
committed
cargo fmt
Alex Vitkov
committed
typo
Alex Vitkov
committed
Add trait self test with 2 different types

ymadzhunkov
authored and
Alex Vitkov
committed

Commits on Sep 19, 2023

get_self_type signature
Alex Vitkov
committed
add clarification
Alex Vitkov
committed
Update compiler/noirc_frontend/src/hir/def_collector/dc_mod.rs

alexvitkov
and
jfecher
authored
fix: better comment
Alex Vitkov
committed
added cows to the language
Alex Vitkov
committed
todo
Alex Vitkov
committed