scala/scala — pull request #767 by retronym (2012-06-24 14:09:31+00:00)
Title: SI-5968 Eliminate spurious exhaustiveness warning with singleton types.

A singleton type is a type ripe for enumeration.

Review by @adriaanm