doc/go_spec.html | 5 +----

diff --git a/doc/go_spec.html b/doc/go_spec.html
index d1b8bf2a9171bb26c2b60c682f9124f44f52089f..c39a44236ac82efb3946d4cdd2e87960bd2acb17 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"
 }-->
 
@@ -8463,9 +8463,6 @@ 	<li>
 		Neither <code>A</code> nor <code>T</code> are interface types:
 		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>