]> Cypherpunks repositories - gostls13.git/commit
cmd/compile/internal/types2: produce empty type set for invalid ~T
authorRobert Griesemer <gri@golang.org>
Tue, 23 Nov 2021 03:02:56 +0000 (19:02 -0800)
committerRobert Griesemer <gri@golang.org>
Wed, 24 Nov 2021 20:59:14 +0000 (20:59 +0000)
commit67dd9ee92c454ded14f117e2d958db9ee56e8b02
treee2566b34bee879447d8e570be59b6ad3c8572f40
parentc25bf0d959c299e5fa5392ae6f835570ed6d111f
cmd/compile/internal/types2: produce empty type set for invalid ~T

If ~T is not permitted because the underlying type of T is not the
same as T, there is no type that satisfies ~T. Besides reporting an
error, also ensure that the corresponding type set is empty.

For #49739.

Change-Id: I127f75f170902e7989f7fe7b352dabda9f72e2a5
Reviewed-on: https://go-review.googlesource.com/c/go/+/366278
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
src/cmd/compile/internal/types2/testdata/fixedbugs/issue49739.go2 [new file with mode: 0644]
src/cmd/compile/internal/types2/typeset.go