Have CodeGenerationConstructedNamedTypeSymbol hold onto an unconstructed base
Our constructed type symbol was holding onto an abstract type symbol; this allowed a constructed type to be created atop another constructed type, which would form a chain. That isn't really necessary, and doesn't match the usual mental models. This switches to holding onto a stronger type, and then updates the Construct methods to go back to the prior ConstructedFrom in order to avoid creating a chain.
Showing
想要评论请 注册 或 登录