Internal improvements 12 - #45

Merged

rcalicdan merged 3 commits into

mainfrom

internal-improvements-12

Aug 24, 2026

Commits on Aug 24, 2026

Enhance ContractParser to filter out 'mixed' types and improve handling of parameter contracts; update FunctionContractInjector to prevent double wrapping of return checks; add tests for mixed para…
rcalicdan
committed
4fae6ae
Enhance ContractParser to simplify unions/intersections containing 'mixed' types; refactor FunctionContractInjector to improve parameter and return contract checks
rcalicdan
committed
2645a15
Fix PHPstan errors
rcalicdan
committed
0e98af7