refactor TypeRelativePath::AssocItem to use AliasTerm#155323
Open
josetorrs wants to merge 6 commits into
Open
Commits
Commits on May 13, 2026
- committed
TypeRelativePath::AssocItem to use AliasTerm#155323