diff options
| author | Robert Griesemer <gri@golang.org> | 2022-12-12 16:30:42 -0800 |
|---|---|---|
| committer | Robert Griesemer <gri@golang.org> | 2022-12-14 19:12:15 +0000 |
| commit | ffefcd360b64e197131d6dc37a7ed015a2643c1b (patch) | |
| tree | 1cc079e47a8a969c081f84d8619e7f606e3041d7 /src/cmd/compile/internal/devirtualize/devirtualize.go | |
| parent | cb07765045aed5104a3df31507564ac99e6ddce8 (diff) | |
| download | go-ffefcd360b64e197131d6dc37a7ed015a2643c1b.tar.xz | |
spec: introduce notion of strict comparability
- Rephrase the notion of "comparability" from a property
of values (operands) to a property of types and adjust
dependent prose.
- Introduce the notion of "strict comparability".
- Fix the definitions of comparability for type interfaces
and type parameters.
- Define the predeclared identifier "comparable" as stricly
comparable.
These changes address existing problems in the spec as outlined
in the section on "Related spec issues" in issue #56548.
For #56548.
Change-Id: Ibc8c2f36d92857a5134eadc18358624803d3dd21
Reviewed-on: https://go-review.googlesource.com/c/go/+/457095
Reviewed-by: Ian Lance Taylor <iant@google.com>
Reviewed-by: Matthew Dempsky <mdempsky@google.com>
TryBot-Bypass: Robert Griesemer <gri@google.com>
Reviewed-by: Robert Findley <rfindley@google.com>
Reviewed-by: Robert Griesemer <gri@google.com>
Diffstat (limited to 'src/cmd/compile/internal/devirtualize/devirtualize.go')
0 files changed, 0 insertions, 0 deletions