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
Add unit tests for ParsedType, FuncType, and Unification

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

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

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

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

Copilot
and
Garciat
committed
Switch from JUnit assertions to AssertJ assertions

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

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

Copilot
and
Garciat
committed
Import ParsedType subtypes in ParsedTypeTest and UnificationTest

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

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

Copilot
and
Garciat
committed