X-Git-Url: http://www.git.cypherpunks.ru/?a=blobdiff_plain;f=src%2Fgo%2Ftypes%2Finfer.go;h=962548a9b0f3064555acc1fc539a984784538020;hb=bea55136b2d50fc514ddfba4380311295975a660;hp=0a9074e0af3d0e3494fb50cad7942f23da9f5630;hpb=1b03ec8a25412342ca072c0860bdf046d58e82ac;p=gostls13.git

diff --git a/src/go/types/infer.go b/src/go/types/infer.go
index 0a9074e0af..962548a9b0 100644
--- 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)