diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2010-07-08 15:58:47 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2010-07-08 15:58:47 +0000 |
| commit | d7814a235963f40f4de1bf49efd4b22a8b0da5db (patch) | |
| tree | 7e9b127853d072b049f05e2d2376234fefc5c4ca /test/files/neg/bug961.check | |
| parent | 356abe3a5b76eb382eca6655624743aa16a001ae (diff) | |
| download | scala-d7814a235963f40f4de1bf49efd4b22a8b0da5db.tar.gz scala-d7814a235963f40f4de1bf49efd4b22a8b0da5db.tar.bz2 scala-d7814a235963f40f4de1bf49efd4b22a8b0da5db.zip | |
closes #2416.
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
Diffstat (limited to 'test/files/neg/bug961.check')
0 files changed, 0 insertions, 0 deletions