feat: Intersection types#325

Open

iglosiggio wants to merge 12 commits intomainfrom

iglosiggio/intersections

Commits on Feb 10, 2026

Allow the compiler to flatten intersection types
iglosiggio
committed
Improve error messages for intersection types
iglosiggio
committed
Limit intersection types to non-abi-exposed places
iglosiggio
committed
Add a validation for overlapping intersections
iglosiggio
committed
test: Add an expected_output test for all the possible ways to serialize an intersection-typed tuple
iglosiggio
committed
test: Add test for still-unimplemented error messages for inline global/local/box/boxmap definitions
iglosiggio
committed
feat: Validate storage uses for box/boxmap and global/local state expressions
iglosiggio
committed
When stringifying object types use the type symbol if possible
iglosiggio
committed
fix: Remove circular dependency
iglosiggio
committed
fix: Rethrow non-PuyaErrors when processing storage definitions
iglosiggio
committed
chore: Rename abiSafe to runtimeOnly
iglosiggio
committed
refactor: Move intersection flattening logic to `IntersectionPType.fromTypes`
iglosiggio
committed