Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Simpler cycle detection | Martin Odersky | 2014-11-24 | 1 | -0/+5 |
Turns out that the last commit was a red herring. None of the hoops it jumped though was necessary. Instead there was a bug in isRef which caused `&` to erroneously compute T & Int as Int. The bug was that we always approximated alias types by their high bound. But in the present case, this leads to errors because U gets 'bounds >: Nothing <: Any', but it was still an alias type (i.e. its Deferred flag is not set). The fix dereferences aliases only if their info is a TypeAlias. |