scala/scala — pull request #3534 by clhodapp (2014-02-14 22:09:08+00:00)
Title: Add an extremely well-commented test

This commit includes a test for some simple existential subtyping
checks. It is exceptionally well-commented and may be helpful to
someone trying to figure out what the rules are (supposed to be)
in the future.

Review by @retronym