diff options
| author | Ian Lance Taylor <iant@golang.org> | 2021-09-10 10:07:39 -0700 |
|---|---|---|
| committer | Ian Lance Taylor <iant@golang.org> | 2021-09-10 17:08:24 +0000 |
| commit | a181ade6400bee073b7683b2ced631d8d65f847d (patch) | |
| tree | 1842706cf1c1e23e758be218de476f92f025a995 | |
| parent | 41092c79a18019f483650a705d7adb5a0752e9ed (diff) | |
| download | go-x-proposal-a181ade6400bee073b7683b2ced631d8d65f847d.tar.xz | |
design/43651-type-parameters: minor formatting/wording fixes
Change-Id: I94003ba5f108076abf85786374ee9d537353683c
Reviewed-on: https://go-review.googlesource.com/c/proposal/+/349069
Trust: Ian Lance Taylor <iant@golang.org>
Reviewed-by: Ian Lance Taylor <iant@golang.org>
| -rw-r--r-- | design/43651-type-parameters.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/design/43651-type-parameters.md b/design/43651-type-parameters.md index 341124e..77e9b43 100644 --- a/design/43651-type-parameters.md +++ b/design/43651-type-parameters.md @@ -714,7 +714,7 @@ That is exactly the type set of `interface{ M1; M2 }`. The same applies to embedded interface types. For any two interface types `E1` and `E2`, the type set of `interface{ -E1; E2}` is the intersection of the type sets of `E1` and `E2`. +E1; E2 }` is the intersection of the type sets of `E1` and `E2`. Therefore, the type set of an interface type is the intersection of the type sets of the element of the interface. @@ -887,7 +887,7 @@ type parameter in any way that is permitted by every member of the type set of the parameter's constraint. This applies to operators like '<' or '+' or other general operators. For special purpose operators like `range` loops, we permit their use -of the type parameter has a structural constraint, as [defined +if the type parameter has a structural constraint, as [defined later](#Constraint-type-inference); the definition here is basically that the constraint has a single underlying type. If the function can be compiled successfully using each type in the |