From: Robert Griesemer <gri@golang.org>
Date: Thu, 3 Aug 2023 00:03:55 +0000 (-0700)
Subject: [release-branch.go1.21] spec: remove unnecessary sentence
X-Git-Tag: go1.21.0~2
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=2e6276df34f0d59924113548fe00fd33d5286bf4;p=gostls13.git

[release-branch.go1.21] spec: remove unnecessary sentence

Change-Id: I06345199ff16c80be83c345d734caef1714ec089
Reviewed-on: https://go-review.googlesource.com/c/go/+/515338
TryBot-Bypass: Robert Griesemer <gri@google.com>
Reviewed-by: Ian Lance Taylor <iant@google.com>
Reviewed-by: Robert Griesemer <gri@google.com>
Auto-Submit: Robert Griesemer <gri@google.com>
Reviewed-on: https://go-review.googlesource.com/c/go/+/515715
---

diff --git a/doc/go_spec.html b/doc/go_spec.html
index d1b8bf2a91..c39a44236a 100644
--- a/doc/go_spec.html
+++ b/doc/go_spec.html
@@ -1,6 +1,6 @@
 <!--{
 	"Title": "The Go Programming Language Specification",
-	"Subtitle": "Version of July 31, 2023",
+	"Subtitle": "Version of Aug 2, 2023",
 	"Path": "/ref/spec"
 }-->
 
@@ -8464,9 +8464,6 @@ per the given matching modes if:
 		In this case, if <code>T</code> is a defined type, <code>T</code>
 		replaces <code>A</code> as the inferred type argument for <code>P</code>.
 	</li>
-	<li>
-		In all other cases unification of <code>P</code> and <code>T</code> fails.
-	</li>
 	</ul>
 </li>
 </ul>