From: Robert Griesemer <gri@golang.org>
Date: Thu, 16 Dec 2021 04:03:11 +0000 (-0800)
Subject: spec: clarify that comparable cannot be a union element
X-Git-Tag: go1.18beta2~210
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=2bdf34f3e86693264938d791a673a97011420eb2;p=gostls13.git

spec: clarify that comparable cannot be a union element

For #49602.

Change-Id: I0d3ff8f087dffb3409918494147fd1dceff7514d
Reviewed-on: https://go-review.googlesource.com/c/go/+/372694
Trust: Robert Griesemer <gri@golang.org>
Run-TryBot: Robert Griesemer <gri@golang.org>
TryBot-Result: Gopher Robot <gobot@golang.org>
Reviewed-by: Ian Lance Taylor <iant@golang.org>
---

diff --git a/doc/go_spec.html b/doc/go_spec.html
index cb57aa301c..ed98f5375f 100644
--- a/doc/go_spec.html
+++ b/doc/go_spec.html
@@ -1,6 +1,6 @@
 <!--{
 	"Title": "The Go Programming Language Specification - Go 1.18 Draft (incomplete)",
-	"Subtitle": "Version of Dec 13, 2021",
+	"Subtitle": "Version of Dec 16, 2021",
 	"Path": "/ref/spec"
 }-->
 
@@ -1532,7 +1532,9 @@ interface {
 <p>
 Implementation restriction:
 A union with more than one term cannot contain interface types
-with non-empty <a href="#Method_sets">method sets</a>.
+with non-empty <a href="#Method_sets">method sets</a> or which
+are or embed the <a href="#Predeclared_identifiers">predeclared identifier</a>
+<code>comparable</code>.
 </p>
 
 <p>