Track type equivalences - #97

Draft

fantazio wants to merge 8 commits into

LexiFi:masterfrom

fantazio:eq_types

Commits on Aug 22, 2026

[docs][field_ctor] add missing limitations in toc
fantazio
committed
8969a29
[docs][field_ctor] add equal_types limitation
fantazio
committed
a2f60a8
[src][deadType] keep track of equivalent types
fantazio
committed
f49805e
[src][deadType] track equivalence through includes
fantazio
committed
35ef187
[src][deadType] track equivalence through module aliases
fantazio
committed
3ccb5ff
[examples][field_ctor] add all_internal eq_types
fantazio
committed
46d57c4
[src][deadType] handle internal type equivalences
fantazio
committed
33e836c

Commits on Aug 26, 2026

[src] cleanup export and type equivalence related code
fantazio
committed
5ea60bd