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>
This commit is contained in:
Robert Griesemer 2022-05-11 15:08:38 -07:00
parent 5d0400c72d
commit 7e11ff3816
1 changed files with 2 additions and 1 deletions

View File

@ -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>