lampepfl/dotty — pull request #307 by smarter (2014-12-17 20:58:08+00:00)
Title: Simplify TypeAlias#unapply

Review by @odersky