fix(translator): trait member value comparison and adaptation validation - #60

Closed

AlessioGiacobbe wants to merge 8 commits into

swoole:masterfrom

AlessioGiacobbe:split/trait-composition-checks

Commits on Sep 3, 2026

fix(translator): compare trait data members by value, not source text
AlessioGiacobbe
committed
2be7059
fix(translator): reject trait adaptations naming nonexistent methods
AlessioGiacobbe
committed
81459b7
fix(translator): validate every precedence rule targeting one loser method
AlessioGiacobbe
committed
196f2e9
fix(translator): compare trait-constant enum cases by case identity
AlessioGiacobbe
committed
5c46a1c
fix(resolver): do not re-prefix qualified names in constant evaluation
AlessioGiacobbe
committed
e2af373
fix(resolver): treat source-level fully qualified names as absolute too
AlessioGiacobbe
committed
0e3b104
fix(resolver): make enum-case identity a value user code cannot construct
AlessioGiacobbe
committed
ea8c598
fix(resolver): keep enum-case identity through nested and inherited constants
AlessioGiacobbe
committed
64becc2