scala/scala — pull request #2062 by JamesIry (2013-02-04 16:38:53+00:00)
Title: SI-5833 Fixes tail-of-Nil problem in RefinedType#normalizeImpl

RefinedType#normalizeImpl was checking to see if the flattened list of
parents had an empty tail then pulling the head if so. But if the list
was empty then boom. This fix makes it check if the whole list has
length 1 instead. Empty lists will flow through to the rest the logic
which has no problems with Nil.

review @adriaanm or @hubertp

Questions for reviewer to contemplate:
I had no luck finding a reproducing test case. Can you?
Should a refinement type with no parents and no decls normalize to AnyRef instead of falling through to the rest of the logic?