go/types, types2: introduce _Alias type node

[gostls13.git] / src / cmd / compile / internal / types2 / unify.go

diff --git a/src/cmd/compile/internal/types2/unify.go b/src/cmd/compile/internal/types2/unify.go
index e0340a59071af331e44f1fe931e8f22a81349891..000321e4eae2f992c5458ebdd6ed279dec688cc3 100644 (file)
--- a/src/cmd/compile/internal/types2/unify.go
+++ b/src/cmd/compile/internal/types2/unify.go
@@ -291,6 +291,9 @@ func (u *unifier) nify(x, y Type, mode unifyMode, p *ifacePair) (result bool) {
                u.depth--
        }()
 
+       x = _Unalias(x)
+       y = _Unalias(y)
+
        // nothing to do if x == y
        if x == y {
                return true