natas_hw
/
legacy-svn-scala
mirror of https://github.com/scala/legacy-svn-scala
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fixed #2266 (partially) and #2305 

git-svn-id: http://lampsvn.epfl.ch/svn-repos/scala/scala/trunk@18635 5e8d7ff9-d8ef-0310-90f0-a4852d11357a
This commit is contained in:
moors 2009-09-02 14:35:28 +00:00
parent 5c66e91b7b
commit bafa81d485
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/compiler/scala/tools/nsc/symtab/Types.scala
View File

@ -1414,7 +1414,10 @@ trait Types {
val args = typeArgsOrDummies
if (args.length == sym.typeParams.length)
tp.asSeenFrom(pre, sym.owner).instantiateTypeParams(sym.typeParams, args)
else { assert(sym.typeParams.isEmpty || (args exists (_.isError)), tp); tp }
else {
assert(sym.typeParams.isEmpty || (args exists (_.isError)) || isRaw(sym, args)/*#2266/2305*/, tp)
tp
}
// @M TODO maybe we shouldn't instantiate type params if isHigherKinded -- probably needed for partial type application though
}