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

Open

AlessioGiacobbe wants to merge 7 commits into

swoole:masterfrom

AlessioGiacobbe:split/trait-composition-checks

Commits on Sep 2, 2026

fix(translator): compare trait data members by value, not source text
AlessioGiacobbe
committed
ebc44da
fix(translator): reject trait adaptations naming nonexistent methods
AlessioGiacobbe
committed
e2ff9ab
fix(translator): validate every precedence rule targeting one loser method
AlessioGiacobbe
committed
9a827a0
fix(translator): compare trait-constant enum cases by case identity
AlessioGiacobbe
committed
4fb738f
fix(resolver): do not re-prefix qualified names in constant evaluation
AlessioGiacobbe
committed
8df5ba2
fix(resolver): treat source-level fully qualified names as absolute too
AlessioGiacobbe
committed
5686c9d
fix(resolver): make enum-case identity a value user code cannot construct
AlessioGiacobbe
committed
9b84928