lampepfl/dotty — pull request #264 by odersky (2014-12-05 13:43:40+00:00)
Title: Fix erasure of trait info

After erasure, traits always extend object, and no other class.

The change flushed out three more problems, one in the handling of
Super trees in erasure, another in bridge method generation. and a
third that class RepeatedParam had Seq, which is a trait, as first parent.

Review by @DarkDimius