summaryrefslogtreecommitdiff
path: root/test/files/neg/t2416.check
Commit message (Collapse)AuthorAgeFilesLines
* closes #2416.Adriaan Moors2010-07-081-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