Permalink
Browse files

typers: dubious line in adaptType

  • Loading branch information...
xeno-by committed Jun 6, 2012
1 parent f0683d8 commit d81d39231dacda9b08b5ae325e11d4f4b994857f
Showing with 4 additions and 0 deletions.
  1. +4 −0 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)

0 comments on commit d81d392

Please sign in to comment.