diff options
author | Eugene Burmako <xeno.by@gmail.com> | 2012-06-06 13:18:52 +0200 |
---|---|---|
committer | Eugene Burmako <xeno.by@gmail.com> | 2012-06-08 15:23:06 +0200 |
commit | d81d39231dacda9b08b5ae325e11d4f4b994857f (patch) | |
tree | 0344eaaeaf6b54088b5db16d3ce88916ce1f571d /src | |
parent | f0683d82d23cccf372b76528520422a2ac5a266a (diff) | |
download | scala-d81d39231dacda9b08b5ae325e11d4f4b994857f.tar.gz scala-d81d39231dacda9b08b5ae325e11d4f4b994857f.tar.bz2 scala-d81d39231dacda9b08b5ae325e11d4f4b994857f.zip |
typers: dubious line in adaptType
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 86eb4b678f..b2e7088465 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -905,6 +905,10 @@ trait Typers extends Modes with Adaptations with Taggings { def adaptType(): Tree = { if (inFunMode(mode)) { + // [Eugene++] the commented line below makes sense for typechecking, say, TypeApply(Ident(`some abstract type symbol`), List(...)) + // because otherwise Ident will have its tpe set to a TypeRef, not to a PolyType, and `typedTypeApply` will fail + // but this needs additional investigation, because it crashes t5228, gadts1 and maybe something else + // tree setType tree.tpe.normalize tree } else if (tree.hasSymbol && !tree.symbol.typeParams.isEmpty && !inHKMode(mode) && !(tree.symbol.isJavaDefined && context.unit.isJava)) { // (7) |