From: Robert Griesemer <gri@golang.org>
Date: Tue, 8 Feb 2022 04:59:59 +0000 (-0800)
Subject: doc/go1.18: document behavior of go/types predicates for extended interfaces
X-Git-Tag: go1.18rc1~66
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=255acb0c059268c99e45b693645a256719f3abb2;p=gostls13.git

doc/go1.18: document behavior of go/types predicates for extended interfaces

For #47694.

Change-Id: Ic27193b65ef4b3c0c932107b8731b5f8d3190ad5
Reviewed-on: https://go-review.googlesource.com/c/go/+/383918
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Ian Lance Taylor <iant@golang.org>
---

diff --git a/doc/go1.18.html b/doc/go1.18.html
index ed32a93bc3..1a68482ad6 100644
--- a/doc/go1.18.html
+++ b/doc/go1.18.html
@@ -909,6 +909,19 @@ Do not send CLs removing the interior tags from such phrases.
         field.
       </li>
     </ul>
+    <p>
+      The predicates
+      <a href="/pkg/go/types/#AssignableTo"><code>AssignableTo</code></a>,
+      <a href="/pkg/go/types/#ConvertibleTo"><code>ConvertibleTo</code></a>,
+      <a href="/pkg/go/types/#Implements"><code>Implements</code></a>,
+      <a href="/pkg/go/types/#Identical"><code>Identical</code></a>,
+      <a href="/pkg/go/types/#IdenticalIgnoreTags"><code>IdenticalIgnoreTags</code></a>, and
+      <a href="/pkg/go/types/#AssertableTo"><code>AssertableTo</code></a>
+      now also work with arguments that are or contain generalized interfaces, i.e. interfaces
+      that may only be used as type constraints in Go code.
+      Note that the behavior of <code>AssertableTo</code> is undefined if the first argument
+      is a generalized interface.
+    </p>
   </dd>
 </dl>