Type identify rules

[Sze]

From the post I linked:

@How does the compiler know two generic types are the same?

Instead, the compiler determines whether types are equivalent by comparing two things:

• Where are the types declared in source code?
• What values do the type definitions “capture” – meaning, what is the value of any identifier used within the type’s definition but declared outside of it?

---

I don’t think bringing imagined textual representations / expansions into it makes sense, when the above describes the actual mechanism.