Add test coverage for TypeClasses witness resolution - #7

Merged

Garciat merged 12 commits into

mainfrom

copilot/write-tests-for-type-classes

Dec 14, 2025

Commits on Dec 14, 2025

Initial plan
Copilot
committed
699b3d7
Add unit tests for ParsedType, FuncType, and Unification

Copilot
and
Garciat
committed
fd7d704
Add comprehensive tests for TypeClasses.witness() behavior

Copilot
and
Garciat
committed
8514093
Format test files with google-java-format

Copilot
and
Garciat
committed
8891085
Address PR feedback: use Ty<T> from api package and assertEquals for Maybe types

Copilot
and
Garciat
committed
68b29ba
Address PR feedback: use custom test type classes, simplify FuncType assertions, add generic method test, remove format tests

Copilot
and
Garciat
committed
c2456dc
Switch from JUnit assertions to AssertJ assertions

Copilot
and
Garciat
committed
69e136b
Add test cases for type variables, wildcards, and inline unnecessary variables in UnificationTest

Copilot
and
Garciat
committed
b64d0d4
Inline expected variables and import ParsedType subtypes in FuncTypeTest

Copilot
and
Garciat
committed
d167c72
Import ParsedType subtypes in ParsedTypeTest and UnificationTest

Copilot
and
Garciat
committed
ced34aa
Replace wildcard imports with explicit imports and inline expected variables in ParsedTypeTest

Copilot
and
Garciat
committed
43a45e3
Inline remaining variables in ParsedTypeTest (listType, mapType, nestedType, types, fieldType)

Copilot
and
Garciat
committed
72a4ec6