spec: add temporary note to type inference section

The section on type inference has not been updated yet for Go 1.21.
Add a temporary note so that readers referred to this section from
the release notes are not confused.

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

diff --git a/doc/go_spec.html b/doc/go_spec.html
index bcb06e72ff5221b90ed03aa00661b6c682f50798..bb4a3f600c111c4c99ca94da78ef119478cac1c0 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 June 6, 2023",
+       "Subtitle": "Version of June 7, 2023",
        "Path": "/ref/spec"
 }-->
 
@@ -4383,6 +4383,10 @@ For a generic type, all type arguments must always be provided explicitly.
 
 <h3 id="Type_inference">Type inference</h3>
 
+<p>
+<em>NOTE: This section is not yet up-to-date for Go 1.21.</em>
+</p>
+
 <p>
 Missing function type arguments may be <i>inferred</i> by a series of steps, described below.
 Each step attempts to use known information to infer additional type arguments.