From: Robert Griesemer <gri@golang.org>
Date: Wed, 11 May 2022 22:08:38 +0000 (-0700)
Subject: spec: correct assignment rules with respect to type parameters
X-Git-Tag: go1.19beta1~289
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=7e11ff38160da714b3528d58021aefa42c7ed7e3;p=gostls13.git

spec: correct assignment rules with respect to type parameters

Fixes #52628.

Change-Id: If4261abc25868d62f7689253d40f872692c23a4d
Reviewed-on: https://go-review.googlesource.com/c/go/+/405755
Reviewed-by: Ian Lance Taylor <iant@google.com>
Reviewed-by: Robert Griesemer <gri@google.com>
---

diff --git a/doc/go_spec.html b/doc/go_spec.html
index 70efddf626..f6e87fe8a4 100644
--- a/doc/go_spec.html
+++ b/doc/go_spec.html
@@ -1920,7 +1920,8 @@ A value <code>x</code> of type <code>V</code> is <i>assignable</i> to a <a href=
 </li>
 <li>
 <code>V</code> and <code>T</code> have identical
-<a href="#Underlying_types">underlying types</a> and at least one of <code>V</code>
+<a href="#Underlying_types">underlying types</a>
+but are not type parameters and at least one of <code>V</code>
 or <code>T</code> is not a <a href="#Types">named type</a>.
 </li>
 <li>