Robert Griesemer cc14fcac2b cmd/compile/internal/types2: disallow type cycles through type parameter lists ... If we reach a generic type that is part of a cycle and we are in a type parameter list, we have a cycle through a type parameter list, which is invalid. Fixes #49439. Change-Id: Ia6cf97e1748ca0c0e61c02841202050091365b0b Reviewed-on: https://go-review.googlesource.com/c/go/+/361922 Trust: Robert Griesemer <gri@golang.org> Reviewed-by: Robert Findley <rfindley@google.com>		2021-11-10 00:56:09 +00:00
..
absdiffimp.dir	cmd/compile/internal/types2: disallow lone type parameter on RHS of type declaration	2021-10-28 00:11:24 +00:00
aliasimp.dir
chansimp.dir
dedup.dir
factimp.dir
geninline.dir	cmd/compile: support new fully-inst types referenced during inlining	2021-10-15 16:57:36 +00:00
issue46461b.dir	cmd/compile/internal/types2: disallow type cycles through type parameter lists	2021-11-10 00:56:09 +00:00
issue47514c.dir
issue47775.dir
issue47892.dir
issue47892b.dir
issue48094.dir
issue48094b.dir
issue48185a.dir
issue48185b.dir
issue48280.dir	cmd/compile/internal/types2: disallow type cycles through type parameter lists	2021-11-10 00:56:09 +00:00
issue48306.dir	cmd/compile/internal/types2: disallow type cycles through type parameter lists	2021-11-10 00:56:09 +00:00
issue48337a.dir
issue48337b.dir
issue48454.dir
issue48462.dir
issue48716.dir	cmd/compile: some fixes in type substituter for Instantiate	2021-10-12 20:09:58 +00:00
issue49027.dir	cmd/compile: allow importing and exporting of ODYNAMICTYPE	2021-10-19 22:47:48 +00:00
issue49241.dir	cmd/compile: mark type descriptors as always dupok	2021-11-02 18:31:53 +00:00
issue49246.dir	cmd/compile: fix panic when refer to method of imported instantiated type	2021-11-02 03:09:01 +00:00
listimp2.dir
listimp.dir
mapimp.dir
mapsimp.dir
mdempsky
mincheck.dir
minimp.dir
mutualimp.dir
orderedmapsimp.dir
pairimp.dir
recoverimp.dir
setsimp.dir
sliceimp.dir
stringerimp.dir
valimp.dir
absdiff.go	cmd/compile/internal/types2: disallow lone type parameter on RHS of type declaration	2021-10-28 00:11:24 +00:00
absdiffimp.go
adder.go
aliasimp.go
append.go
boundmethod.go	cmd/compile/internal/types2: disallow lone type parameter on RHS of type declaration	2021-10-28 00:11:24 +00:00
builtins.go
chans.go
chansimp.go
combine.go
cons.go
dedup.go
dedup.out
dictionaryCapture-noinline.go
dictionaryCapture.go
dottype.go
dottype.out
double.go
eface.go
equal.go
fact.go
factimp.go
genembed2.go	test: add a test for parameterized embedded field	2021-10-16 16:27:40 +00:00
genembed.go	[dev.typeparams] cmd/compile: add test for number of instantiations	2021-10-12 20:53:52 +00:00
geninline.go	cmd/compile: support new fully-inst types referenced during inlining	2021-10-15 16:57:36 +00:00
graph.go
ifaceconv.go
importtest.go
index2.go	test/typeparam: add test for indexing on typeparams with various constraints	2021-11-03 15:47:47 +00:00
index.go
interfacearg.go
issue39755.go
issue44688.go
issue45547.go
issue45722.go
issue45738.go
issue45817.go
issue46461.go	cmd/compile/internal/types2: disallow type cycles through type parameter lists	2021-11-10 00:56:09 +00:00
issue46461b.go
issue46472.go
issue46591.go
issue47258.go
issue47272.go
issue47272.out
issue47514.go
issue47514b.go
issue47514c.go
issue47676.go
issue47684.go
issue47684b.go
issue47684c.go
issue47708.go	cmd/compile/internal/types2: disallow lone type parameter on RHS of type declaration	2021-10-28 00:11:24 +00:00
issue47710.go
issue47713.go
issue47713.out
issue47716.go
issue47723.go
issue47740.go	cmd/compile/internal/types2: disallow lone type parameter on RHS of type declaration	2021-10-28 00:11:24 +00:00
issue47740.out	cmd/compile/internal/types2: disallow lone type parameter on RHS of type declaration	2021-10-28 00:11:24 +00:00
issue47740b.go
issue47775.go
issue47775b.go
issue47797.go
issue47877.go
issue47878.go	cmd/compile: clean up the switch statements in (*genInst).node()	2021-10-26 20:08:41 +00:00
issue47892.go
issue47892b.go
issue47896.go
issue47901.go
issue47924.go
issue47925.go
issue47925b.go
issue47925c.go
issue47925d.go
issue47929.go
issue47948.go
issue47966.go
issue48013.go
issue48016.go
issue48030.go
issue48042.go
issue48047.go
issue48049.go
issue48056.go
issue48094.go
issue48094b.go
issue48137.go
issue48185a.go
issue48185b.go
issue48191.go
issue48198.go
issue48225.go
issue48253.go
issue48276a.go
issue48276a.out
issue48276b.go
issue48280.go
issue48306.go
issue48317.go
issue48318.go
issue48337a.go
issue48337a.out
issue48337b.go
issue48344.go
issue48424.go
issue48453.go
issue48454.go
issue48462.go
issue48537.go
issue48538.go	cmd/compile: use Structure() to get single underlying type of typeparam.	2021-10-29 23:25:18 +00:00
issue48598.go
issue48602.go
issue48604.go
issue48609.go	constraints: remove Slice/Map/Chan	2021-10-27 22:17:35 +00:00
issue48617.go
issue48645a.go
issue48645a.out
issue48645b.go
issue48711.go	test: add regress test for reported non-monomorphizable example	2021-11-08 21:52:47 +00:00
issue48716.go	cmd/compile: some fixes in type substituter for Instantiate	2021-10-12 20:09:58 +00:00
issue48838.go
issue48962.go	cmd/compile: fix TypeDefn to deal with node with no Ntype set	2021-11-04 20:24:01 +00:00
issue49027.go	cmd/compile: allow importing and exporting of ODYANMICDOTTYPE[2]	2021-10-18 19:46:27 +00:00
issue49049.go	cmd/compile,cmd/link: introduce generic interface call relocations	2021-10-25 20:39:17 +00:00
issue49241.go	cmd/compile: mark type descriptors as always dupok	2021-11-02 18:31:53 +00:00
issue49246.go	cmd/compile: fix panic when refer to method of imported instantiated type	2021-11-02 03:09:01 +00:00
issue49295.go	cmd/compile: make pointers to arrays their own shape	2021-11-03 17:56:16 +00:00
issue49309.go	cmd/compile: don't inline fn with no shape params, but passed a shape arg	2021-11-04 15:43:59 +00:00
issue49421.go	cmd/compile: remove unneeded "==" method in pre-defined "comparable" interface	2021-11-09 00:08:42 +00:00
issue49432.go	cmd/compile: fix irgen mis-handling of ... argument when creating closure	2021-11-09 00:08:09 +00:00
list2.go
list.go
listimp2.go
listimp.go
lockable.go
map.go
mapimp.go
maps.go
mapsimp.go
metrics.go
min.go
mincheck.go
minimp.go
mutualimp.go
nested.go
nested.out
ordered.go
orderedmap.go
orderedmapsimp.go
pair.go
pairimp.go
pragma.go
recoverimp.go
recoverimp.out
sets.go
setsimp.go
settable.go
shape1.go
shape1.out
sliceimp.go
slices.go
smallest.go
smoketest.go
stringable.go
stringer.go
stringerimp.go
struct.go
subdict.go
sum.go
tparam1.go
typelist.go
typeswitch1.go
typeswitch1.out
typeswitch2.go
typeswitch2.out
typeswitch3.go
typeswitch3.out
typeswitch4.go
typeswitch4.out
typeswitch5.go
typeswitch5.out
typeswitch6.go
typeswitch6.out
typeswitch7.go
typeswitch7.out
valimp.go
value.go