Track type equivalences - #97

Draft

fantazio wants to merge 7 commits into

LexiFi:masterfrom

fantazio:eq_types

Commits on Aug 21, 2026

[docs][field_ctor] add missing limitations in toc
fantazio
committed
bb333d9
[docs][field_ctor] add equal_types limitation
fantazio
committed
a7c9062
[src][deadType] keep track of equivalent types
fantazio
committed
0465d77
[src][deadType] track equivalence through includes
fantazio
committed
448d581
[src][deadType] track equivalence through module aliases
fantazio
committed
937da5c
[examples][field_ctor] add all_internal eq_types
fantazio
committed
4756d64
[src][deadType] handle internal type equivalences
fantazio
committed
3d17f4d