Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Eta expand $apply projected types if needed | Martin Odersky | 2015-09-21 | 1 | -0/+232 |
It turns out that asSeenFrom can produce types that get projected with $apply but that are not higher-kinded. An exampple failure is in Iter3, andother in scala.collection.immutable.Map (which is now part of the test suite). We now detect that situation, and eta expand the projected type in `derivedSelect`, this will force a subssequent `lookupRefined` which will give the desired normalized type. Also added is a configurable test that checks that $apply projected tyeps are in fact higher-kinded. |