tree 58c4f59ca10f8bfedf9de5f2c8d05843e8d29733
parent 1ed060cf87ec887ad76c51e3f7a2148cc2a7bf9b
author Robert Griesemer <gri@golang.org> 1635032372 -0700
committer Robert Griesemer <gri@golang.org> 1635175900 +0000

cmd/compile/internal/types2: better error messages for empty type sets

- change _TypeSet.hasTerms() to report if a type set has actual types
  (excluding a "universe" term)
- handle empty type set type arguments correctly
- bring comments up-to-date in Checker.satisfies

Change-Id: I87f9a1096ebb21a1b08c87a9b59f400f3bc2f040
Reviewed-on: https://go-review.googlesource.com/c/go/+/358175
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>