go/types, types2: introduce _Alias type node

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

diff --git a/src/cmd/compile/internal/types2/infer.go b/src/cmd/compile/internal/types2/infer.go
index 21a7739fb1de2bab383922441ef0c013518b4991..49d4ed7fe81c47a859d8ed565656274e7fb0b74e 100644 (file)
--- a/src/cmd/compile/internal/types2/infer.go
+++ b/src/cmd/compile/internal/types2/infer.go
@@ -542,6 +542,9 @@ func (w *tpWalker) isParameterized(typ Type) (res bool) {
        case *Basic:
                // nothing to do
 
+       case *_Alias:
+               return w.isParameterized(_Unalias(t))
+
        case *Array:
                return w.isParameterized(t.elem)
 
@@ -693,6 +696,9 @@ func (w *cycleFinder) typ(typ Type) {
        case *Basic:
                // nothing to do
 
+       case *_Alias:
+               w.typ(_Unalias(t))
+
        case *Array:
                w.typ(t.elem)