From d81d39231dacda9b08b5ae325e11d4f4b994857f Mon Sep 17 00:00:00 2001 From: Eugene Burmako Date: Wed, 6 Jun 2012 13:18:52 +0200 Subject: typers: dubious line in adaptType --- src/compiler/scala/tools/nsc/typechecker/Typers.scala | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src') 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) -- cgit v1.2.3