diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-05-14 11:44:40 +0200 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-05-14 12:24:25 +0200 |
commit | 1b198fadd1f4b45042be2b1ecba7d060d7cdfded (patch) | |
tree | 31ee0f193931287d400f67ae0c3ae8261f7f5bbd /test/files/run/elidable.scala | |
parent | 32a2068e3cc40ccab32f3c207cff73cfb6cc2ef5 (diff) | |
download | scala-1b198fadd1f4b45042be2b1ecba7d060d7cdfded.tar.gz scala-1b198fadd1f4b45042be2b1ecba7d060d7cdfded.tar.bz2 scala-1b198fadd1f4b45042be2b1ecba7d060d7cdfded.zip |
suspend type vars in SubTypePair's equals
SubTypePair's equals method calls =:= on the involved types,
which mutates the TypeVars contained in them
this is undesirable since we're simply checking whether a subtype test is pending
in addition to making subtyping "more correct" for type vars,
it should avoid the stackoverflow that's been plaguing us
(https://groups.google.com/d/topic/scala-internals/2gHzNjtB4xA/discussion)
SubTypePair's equals method method is only called when subtype checking
hits a recursion threshold (subsametypeRecursions >= LogPendingSubTypesThreshold)
Diffstat (limited to 'test/files/run/elidable.scala')
0 files changed, 0 insertions, 0 deletions