chore: proptest for `canonicalize` on infix type expressions#6269

Merged

michaeljklein merged 10 commits intomasterfrom

michaeljklein/proptest-arithmetic-generics

Nov 6, 2024

Commits on Oct 10, 2024

wip adding proptest for canonicalize, use proptest_derive for IntegerBitSize, move arithmetic_generics_canonicalization_deduplication_regression to new test module, add constant canonicalize test, …
michaeljklein
committed
add Kind::Numeric helper, derive Arbitrary for BinaryTypeOperator, cleanup, implement arbitrary for (type variable in ID range, Type::InfixExpr, and infix expressions with bindings or arbitrary num…
michaeljklein
committed

Commits on Oct 31, 2024

Merge branch 'master' into michaeljklein/proptest-arithmetic-generics
michaeljklein
authored

Commits on Nov 4, 2024

Merge branch 'master' into michaeljklein/proptest-arithmetic-generics
michaeljklein
authored