diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-02-12 15:26:08 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-02-12 15:26:08 +0100 |
| commit | b5c3a28f1eabada74827e34743dc264e583f7479 (patch) | |
| tree | b70890f516f823ffdd7cce74463a7a3d21a7e1aa /src/dotty/tools/dotc/transform | |
| parent | 023c7bcb8a582a64455d23363e13ab84707ffc8b (diff) | |
| download | dotty-b5c3a28f1eabada74827e34743dc264e583f7479.tar.gz dotty-b5c3a28f1eabada74827e34743dc264e583f7479.tar.bz2 dotty-b5c3a28f1eabada74827e34743dc264e583f7479.zip | |
Fix of the escaping MethodParam problem
The issue was in the dependency tracking for MethodTypes. We treated
methods with false dependencies as non-dependent (as they should be),
but in that case the ResultType could contain orphan MethodParams.
Diffstat (limited to 'src/dotty/tools/dotc/transform')
| -rw-r--r-- | src/dotty/tools/dotc/transform/Erasure.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/transform/Erasure.scala b/src/dotty/tools/dotc/transform/Erasure.scala index a0370feca..e8fdcd81c 100644 --- a/src/dotty/tools/dotc/transform/Erasure.scala +++ b/src/dotty/tools/dotc/transform/Erasure.scala @@ -348,7 +348,7 @@ object Erasure extends TypeTestsCasts{ } private def protoArgs(pt: Type): List[untpd.Tree] = pt match { - case pt: FunProto => pt.args ++ protoArgs(pt.resultType) + case pt: FunProto => pt.args ++ protoArgs(pt.resType) case _ => Nil } |