go/types, types2: introduce _Alias type node

[gostls13.git] / src / go / types / infer.go

diff --git a/src/go/types/infer.go b/src/go/types/infer.go
index 0a9074e0af3d0e3494fb50cad7942f23da9f5630..962548a9b0f3064555acc1fc539a984784538020 100644 (file)
--- a/src/go/types/infer.go
+++ b/src/go/types/infer.go
@@ -544,6 +544,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)
 
@@ -695,6 +698,9 @@ func (w *cycleFinder) typ(typ Type) {
        case *Basic:
                // nothing to do
 
+       case *_Alias:
+               w.typ(_Unalias(t))
+
        case *Array:
                w.typ(t.elem)