spec: fix unification rule for inexact interface unification

[gostls13.git] / doc / go_spec.html

diff --git a/doc/go_spec.html b/doc/go_spec.html
index c7b032b57e3639b3165c41c860b973734649ba94..301fdb3cf1cbbfaddc2fc01416eac921bd76125d 100644 (file)
--- a/doc/go_spec.html
+++ b/doc/go_spec.html
@@ -1,6 +1,6 @@
 <!--{
        "Title": "The Go Programming Language Specification",
-       "Subtitle": "Version of Aug 2, 2023",
+       "Subtitle": "Version of Aug 17, 2023",
        "Path": "/ref/spec"
 }-->
 
@@ -8488,7 +8488,7 @@ Finally, two types that are not bound type parameters unify loosely
        identical <a href="#Interface_types">type terms</a>,
        both or neither embed the predeclared type
        <a href="#Predeclared_identifiers">comparable</a>,
-       corresponding method types unify per the element matching mode,
+       corresponding method types unify exactly,
        and the method set of one of the interfaces is a subset of
        the method set of the other interface.
 </li>