diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-02-26 17:11:43 +0100 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-02-26 17:11:43 +0100 |
commit | 204b2b45a83cf057b6ece7a25ea4f15ec38b4a3f (patch) | |
tree | 4137c4b2f300295ee10a7c94baa91293b28e43ad /test/files/pos/t780.scala | |
parent | 696dcdfcdb40ee3dbd2ba63f8281b87cde787a00 (diff) | |
download | scala-204b2b45a83cf057b6ece7a25ea4f15ec38b4a3f.tar.gz scala-204b2b45a83cf057b6ece7a25ea4f15ec38b4a3f.tar.bz2 scala-204b2b45a83cf057b6ece7a25ea4f15ec38b4a3f.zip |
SI-7126 Eliminate a source of malformed types.
The kind-polymorphic nature of Nothing and Any in
concert with type argument inference could lead to
types like `T[T]` (where `type T=Any`).
Compensatory action is taken later on to recover;
see the usages of `TypeRef#typeParamsMatchArgs`.
But this these types have a nasty property, they
can dealias to themselves. Callers recursing through
types who fail to account for this hit an infinite
recursion, as was reported in SI-7126.
This commit simply dealiases `T` when registering
the type bound in `unifySimple`.
We should try to weed out additional sources of
these types.
Diffstat (limited to 'test/files/pos/t780.scala')
0 files changed, 0 insertions, 0 deletions