aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/hk-deep-subtype.scala
Commit message (Collapse)AuthorAgeFilesLines
* isSubtype: try to dealias TypeRefs before recursively checking the prefixesGuillaume Martres2015-11-251-0/+15
As demonstrated by tests/pos/hk-deep-subtype.scala, we can avoid some deep subtype recursions that result in stack overflows by doing this. Fix #943.