slight (syntactic) cleanup of patch for see #31...

slight (syntactic) cleanup of patch for see #3152 -- sorry, only realised when looking over my patch again

1 files changed, 7 insertions, 6 deletions

diff --git a/src/compiler/scala/tools/nsc/typechecker/Infer.scala b/src/compiler/scala/tools/nsc/typechecker/Infer.scala
index 5e9827b9ed..1e9f086355 100644
--- a/src/compiler/scala/tools/nsc/typechecker/Infer.scala
+++ b/src/compiler/scala/tools/nsc/typechecker/Infer.scala
@@ -649,13 +649,14 @@ trait Infer {
         if (targ.typeSymbol == NothingClass &&
             (isWildcard(restpe) || notCovariantIn(tparam, restpe))) {
           leftUndet += tparam
-          // tparam.tpeHK  -- AM: don't know why we returned a type arg that should surely be discarded afterwards since the type param was considered undetermined...
-        } else if (targ.typeSymbol == RepeatedParamClass) {
-          okParams += tparam; okArgs += targ.baseType(SeqClass)
-        } else if (targ.typeSymbol == JavaRepeatedParamClass) {
-          okParams += tparam; okArgs += targ.baseType(ArrayClass)
+          // don't add anything to okArgs, it'll be filtered out later anyway
+          // used `tparam.tpeHK` as dummy before
         } else {
-          okParams += tparam; okArgs += targ.widen
+          okParams += tparam
+          okArgs +=
+            if      (targ.typeSymbol == RepeatedParamClass)     targ.baseType(SeqClass)
+            else if (targ.typeSymbol == JavaRepeatedParamClass) targ.baseType(ArrayClass)
+            else targ.widen
         }
       }