lampepfl/dotty — pull request #270 by odersky (2014-12-10 18:03:39+00:00)
Title: Change/type aliases

Avoid identifying type aliases as TypeBounds where the lower and upper bound are `eq`. This
is too fragile, in particular it might have false positives for type aliases, which go the other way when
compiling in a second run.

I tried to identify a type alias as a type where the bounds are `=:=`. But this gave CyclicReference
errors which seemed very hard to avoid. So the new scheme is different. TypeAliases are explicitly
created.

Review by @DarkDimius