feat(traits): Implement trait bounds def collector + resolver passes#2716

Merged

jfecher merged 7 commits intonoir-lang:masterfrom

metacraft-labs:trait-bounds-1

Sep 20, 2023

Commits on Sep 20, 2023

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

ymadzhunkov
authored and
Alex Vitkov
committed
Implement trait constraints early passes
Alex Vitkov
committed
fix: missing init field
Alex Vitkov
committed