diff options
author | Martin Odersky <odersky@gmail.com> | 2014-05-01 11:16:34 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-05-08 21:51:47 +0200 |
commit | 9099df69ceb9a73073c63ba051d7da1230cf25fa (patch) | |
tree | 7eb1ee323a50f54000a4eb8a00fe92b5548a9a75 /src/dotty/tools/dotc/core/Types.scala | |
parent | cb1f9cb03f9610d0c6f4d8aa08b9144e90dcf2b5 (diff) | |
download | dotty-9099df69ceb9a73073c63ba051d7da1230cf25fa.tar.gz dotty-9099df69ceb9a73073c63ba051d7da1230cf25fa.tar.bz2 dotty-9099df69ceb9a73073c63ba051d7da1230cf25fa.zip |
Fix for type applications.
Test case in TreeTransformers.scala. We have there
type Mutator[T] = (TreeTransform, T, Context) => TreeTransform
It turns out that then Mutator[X] for some type X did not typecheck because
the typer got confused what were the type parameters of the Function3 type on
Mutator's RHS. The fix adds a case to handle RefinedTypes that bind type
parameters.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions