Require type equality for operation handler input/output types#44

Merged

VegetarianOrc merged 9 commits intomainfrom

amazzeo/stricter-operation-types

Jan 21, 2026

Commits on Jan 16, 2026

Add test demonstrating covariant operation ouput types
VegetarianOrc
committed

Commits on Jan 17, 2026

Require exact type identity for operation handler input/output types
VegetarianOrc
committed
Update comments around operation input/output type checking
VegetarianOrc
committed
Remove is_subtype function and fix import ordering

VegetarianOrc
and
claude
committed
Fix error message formatting and typo in test class name

VegetarianOrc
and
claude
committed
Add tests for generic type comparison in operation handlers

VegetarianOrc
and
claude
committed
use equality checks instead of identity checks
VegetarianOrc
committed
Add in new test file
VegetarianOrc
committed
Update docstring and add tests for Any type behavior

VegetarianOrc
and
claude
committed