From: Robert Griesemer <gri@golang.org>
Date: Wed, 7 Jun 2023 18:19:27 +0000 (-0700)
Subject: spec: add temporary note to type inference section
X-Git-Tag: go1.21rc1~63
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=72b08dbaf316dcc9df210ad71d827922d11984d0;p=gostls13.git

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 bcb06e72ff..bb4a3f600c 100644
--- 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.