mirror
/
go
mirror of https://github.com/golang/go.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

spec: adjust representability rules for type parameters 

Change-Id: I4423a059527066c4418c195911f8184dfd3f5a15
Reviewed-on: https://go-review.googlesource.com/c/go/+/365914
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Ian Lance Taylor <iant@golang.org>
This commit is contained in:
Robert Griesemer 2021-11-20 13:29:02 -08:00
parent 5d8c49a5a1
commit 003e7faf53
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
doc/go_spec.html
View File

@ -1876,7 +1876,9 @@ by a value of type <code>T</code>.
<p> <p>
A <a href="#Constants">constant</a> <code>x</code> is <i>representable</i> A <a href="#Constants">constant</a> <code>x</code> is <i>representable</i>
by a value of type <code>T</code> if one of the following conditions applies: by a value of type <code>T</code>,
where <code>T</code> is not a <a href="#Type_parameters">type parameter</a>,
if one of the following conditions applies:
</p> </p>
<ul> <ul>
@ -1899,6 +1901,12 @@ are representable by values of <code>T</code>'s component type (<code>float32</c
</li> </li>
</ul> </ul>
<p>
If <code>T</code> is a type parameter with <a href="#Structure_of_interfaces">specific types</a>,
<code>x</code> is representable by a value of type <code>T</code> if <code>x</code> is representable
by a value of each specific type of <code>T</code>.
</p>
<pre> <pre>
x T x is representable by a value of T because x T x is representable by a value of T because