aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/compile/internal/types2/typeset.go
diff options
context:
space:
mode:
authorRobert Griesemer <gri@golang.org>2021-07-02 16:54:14 -0700
committerRobert Griesemer <gri@golang.org>2021-07-07 23:42:19 +0000
commitd2bf94fb86b45609564919caa21c6b098b5197d3 (patch)
treed97dc4a4f0d53dd143e39cec5dde5281f6d7090d /src/cmd/compile/internal/types2/typeset.go
parent03ec8de24b6fc8a2abeb4013ef603f5cdef9f874 (diff)
downloadgo-d2bf94fb86b45609564919caa21c6b098b5197d3.tar.gz
go-d2bf94fb86b45609564919caa21c6b098b5197d3.zip
[dev.typeparams] cmd/compile/internal/types2: replace optype() with under() in various cases (cleanup)
This makes the behavior for type parameter operands explicit in those cases. Change-Id: I38438af67de4432f1a691dc4947e4576445f031b Reviewed-on: https://go-review.googlesource.com/c/go/+/332555 Trust: Robert Griesemer <gri@golang.org> Reviewed-by: Robert Findley <rfindley@google.com>
Diffstat (limited to 'src/cmd/compile/internal/types2/typeset.go')
-rw-r--r--src/cmd/compile/internal/types2/typeset.go1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/cmd/compile/internal/types2/typeset.go b/src/cmd/compile/internal/types2/typeset.go
index 6ff8563974..4aee8e4097 100644
--- a/src/cmd/compile/internal/types2/typeset.go
+++ b/src/cmd/compile/internal/types2/typeset.go
@@ -28,6 +28,7 @@ func (s *TypeSet) IsTop() bool { return len(s.methods) == 0 && s.types == nil }
func (s *TypeSet) IsMethodSet() bool { return s.types == nil && !s.IsComparable() }
// IsComparable reports whether each type in the set is comparable.
+// TODO(gri) this is not correct - there may be s.types values containing non-comparable types
func (s *TypeSet) IsComparable() bool {
_, m := s.LookupMethod(nil, "==")
return m != nil