From: Robert Griesemer <gri@golang.org>
Date: Thu, 20 Jul 2023 23:36:08 +0000 (-0700)
Subject: spec: fix a couple of minor mistakes in type inference section
X-Git-Tag: go1.22rc1~1548
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=3bb51a680505776e8545c10dbf6f5f180609cb2c;p=gostls13.git

spec: fix a couple of minor mistakes in type inference section

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

diff --git a/doc/go_spec.html b/doc/go_spec.html
index 7099f36020..28aba70e4f 100644
--- a/doc/go_spec.html
+++ b/doc/go_spec.html
@@ -4526,7 +4526,7 @@ The equations are as follows (type argument lists are omitted for clarity):
 	<code>typeof(p<sub>i</sub>) ≡<sub>A</sub> typeof(a<sub>i</sub>)</code>.
 	<br>
 	If <code>a<sub>i</sub></code> is an untyped constant <code>c<sub>j</sub></code>,
-	and <code>p<sub>i</sub></code> is a bound type parameter <code>P<sub>k</sub></code>,
+	and <code>typeof(p<sub>i</sub>)</code> is a bound type parameter <code>P<sub>k</sub></code>,
 	the pair <code>(c<sub>j</sub>, P<sub>k</sub>)</code> is collected separately from
 	the type equations.
 	</p>
@@ -4543,7 +4543,7 @@ The equations are as follows (type argument lists are omitted for clarity):
 	<p>
 	For a return statement <code>return …, f, … </code> where <code>f</code> is a
 	generic function returned as a result to a (non-generic) result variable
-	of function type:
+	<code>r</code> of function type:
 	<br>
 	<code>typeof(r) ≡<sub>A</sub> typeof(f)</code>.
 	</p>