diff options
author | Robert Griesemer <gri@golang.org> | 2023-07-20 16:36:08 -0700 |
---|---|---|
committer | Gopher Robot <gobot@golang.org> | 2023-07-21 16:52:52 +0000 |
commit | 3bb51a680505776e8545c10dbf6f5f180609cb2c (patch) | |
tree | 45a3d2001e7a6addb7e9c8d4063722b3fb844186 /doc/go_spec.html | |
parent | 15eea6a193ec0a6c4fe0bfee14eae0fd6c02c815 (diff) | |
download | go-3bb51a680505776e8545c10dbf6f5f180609cb2c.tar.gz go-3bb51a680505776e8545c10dbf6f5f180609cb2c.zip |
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>
Diffstat (limited to 'doc/go_spec.html')
-rw-r--r-- | doc/go_spec.html | 4 |
1 files changed, 2 insertions, 2 deletions
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> |