_content/doc: update Go 1.18 release notes for go/types predicates
Update the note on go/types predicates to document additional undefined
behavior.
Change-Id: I9a5266f1d451e32ca0b7ba8d40eb67eefcfe6922
Reviewed-on: https://go-review.googlesource.com/c/website/+/391537
Trust: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Findley <rfindley@google.com>
Reviewed-by: Dmitri Shuralyov <dmitshur@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
diff --git a/_content/doc/go1.18.html b/_content/doc/go1.18.html
index 562356f..367a41b 100644
--- a/_content/doc/go1.18.html
+++ b/_content/doc/go1.18.html
@@ -1029,10 +1029,13 @@
<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.
+ 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>AssignableTo</code>,
+ <code>ConvertibleTo</code>, <code>Implements</code>, and
+ <code>AssertableTo</code> is undefined with arguments that are
+ uninstantiated generic types, and <code>AssertableTo</code> is undefined
+ if the first argument is a generalized interface.
</p>
</dd>
</dl>