diff options
author | Philipp Haller <hallerp@gmail.com> | 2009-06-29 16:38:17 +0000 |
---|---|---|
committer | Philipp Haller <hallerp@gmail.com> | 2009-06-29 16:38:17 +0000 |
commit | 8fbdb547f1efefa62621c04c9f4466b42e0bb30c (patch) | |
tree | a1a5871f7b56eaa7a2a60e1e381e76c95b34ce34 /src | |
parent | e659affbea5daf934f2f078fd8b872930bbaa09c (diff) | |
download | scala-8fbdb547f1efefa62621c04c9f4466b42e0bb30c.tar.gz scala-8fbdb547f1efefa62621c04c9f4466b42e0bb30c.tar.bz2 scala-8fbdb547f1efefa62621c04c9f4466b42e0bb30c.zip |
Fixed #2031.
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Infer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Infer.scala b/src/compiler/scala/tools/nsc/typechecker/Infer.scala index ba0a36cadf..2157833493 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Infer.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Infer.scala @@ -1077,7 +1077,7 @@ trait Infer { " pt = "+pt) val targs = exprTypeArgs(tparams, tree.tpe, pt) val uninstantiated = new ListBuffer[Symbol] - val detargs = if (keepNothings) targs + val detargs = if (keepNothings || (targs eq null)) targs else adjustTypeArgs(tparams, targs, WildcardType, uninstantiated) val undetparams = uninstantiated.toList val detparams = tparams remove (undetparams contains _) |