diff options
author | Robert Griesemer <gri@golang.org> | 2021-08-04 22:22:54 -0700 |
---|---|---|
committer | Robert Griesemer <gri@golang.org> | 2021-08-06 20:34:50 +0000 |
commit | 09d82689ed899d601a9f4b5615d67025dcdb958b (patch) | |
tree | 1d0108161943b1e4c4e477deb862f10d79faefe7 /src/cmd/compile/internal/types2/typeterm.go | |
parent | 3a9fd99849bbd9eab7e4e14a4dda95239c41ab83 (diff) | |
download | go-09d82689ed899d601a9f4b5615d67025dcdb958b.tar.gz go-09d82689ed899d601a9f4b5615d67025dcdb958b.zip |
[dev.typeparams] cmd/compile/internal/types2: add defined type to term/termlist tests
Follow-up on https://golang.org/cl/339596 .
Change-Id: Ifa249379df083f80176b9f99900be0bf12483f41
Reviewed-on: https://go-review.googlesource.com/c/go/+/339905
Trust: Robert Griesemer <gri@golang.org>
Run-TryBot: Robert Griesemer <gri@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
Diffstat (limited to 'src/cmd/compile/internal/types2/typeterm.go')
-rw-r--r-- | src/cmd/compile/internal/types2/typeterm.go | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/cmd/compile/internal/types2/typeterm.go b/src/cmd/compile/internal/types2/typeterm.go index 8edbefa579..1d7223f13c 100644 --- a/src/cmd/compile/internal/types2/typeterm.go +++ b/src/cmd/compile/internal/types2/typeterm.go @@ -151,6 +151,9 @@ func (x *term) subsetOf(y *term) bool { // disjoint reports whether x ∩ y == ∅. // x.typ and y.typ must not be nil. func (x *term) disjoint(y *term) bool { + if debug && (x.typ == nil || y.typ == nil) { + panic("invalid argument(s)") + } ux := x.typ if y.tilde { ux = under(ux) |