diff options
| author | Martin Odersky <odersky@gmail.com> | 2006-11-17 18:01:11 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2006-11-17 18:01:11 +0000 |
| commit | 5131de0a0b08f893f6558ceb7dd348cb87ba0ff4 (patch) | |
| tree | c796ac53bbf323913d15d1ff93d3176bf0a75fa8 /src | |
| parent | f6183ef4b030030606f46fe2463d325e39ae6174 (diff) | |
| download | scala-5131de0a0b08f893f6558ceb7dd348cb87ba0ff4.tar.gz scala-5131de0a0b08f893f6558ceb7dd348cb87ba0ff4.tar.bz2 scala-5131de0a0b08f893f6558ceb7dd348cb87ba0ff4.zip | |
fixed syntax error in Infer
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 1a4c679bca..74436c9bed 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Infer.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Infer.scala @@ -523,7 +523,7 @@ trait Infer requires Analyzer { try { val uninstantiated = new ListBuffer[Symbol] val targs = methTypeArgs(undetparams, formals, restpe, argtpes, pt, uninstantiated) - exprTypeArgs(uninstantiated.toList, restpe.subst(undetparams, targs), pt) ne null) && + (exprTypeArgs(uninstantiated.toList, restpe.subst(undetparams, targs), pt) ne null) && isWithinBounds(undetparams, targs) } catch { case ex: NoInstance => false |