Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | closes #2416. | Adriaan Moors | 2010-07-08 | 1 | -0/+10 |
this patch introduces a new subclass of TypeTree: TypeTreeWithDeferredRefCheck, which tracks the type args and type params of a type application when it was beta-reduced during typing without checking that the application was well-kinded -- that check must wait until refchecks, but was never performed since the application had been beta-reduced away caveat discovered while working on the fix: adapt turned all trees for which _.isType holds into TypeTree's review by odersky |