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 _) |