feat: implement arithmetic on numeric generics#4958

Closed

michaeljklein wants to merge 3 commits intomasterfrom

michaeljklein/arith-generics

Commits on May 2, 2024

wip: add PartialEq for debugging, add error for disallowed generic arith operation, move constant/named-generic into sub-struct, add unit and test_programs tests
michaeljklein
committed

Commits on May 6, 2024

wip propagating changes from GenericArith, pushing cloned constraints to shared vec
michaeljklein
committed

Commits on May 7, 2024

wip implementing substitution and monomorphization checks
michaeljklein
committed