diff options
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Implicits.scala | 1 | ||||
-rw-r--r-- | test/files/pos/t2421.scala (renamed from test/pending/pos/t2421.scala) | 0 | ||||
-rw-r--r-- | test/files/pos/t2421_delitedsl.scala (renamed from test/pending/pos/t2421_delitedsl.scala) | 0 |
3 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala index 2289d12617..d2498741f3 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala @@ -337,6 +337,7 @@ self: Analyzer => if (traceImplicits) println("tvars = "+tvars+"/"+(tvars map (_.constr))) val targs = solvedTypes(tvars, undetParams, undetParams map varianceInType(pt), false, lubDepth(List(itree2.tpe, pt))) + checkBounds(itree2.pos, NoPrefix, NoSymbol, undetParams, targs, "inferred ") // #2421 val subst = new TreeTypeSubstituter(undetParams, targs) subst traverse itree2 // todo: remove type params that have been instantiated to Nothing, similar diff --git a/test/pending/pos/t2421.scala b/test/files/pos/t2421.scala index 0d01be29fc..0d01be29fc 100644 --- a/test/pending/pos/t2421.scala +++ b/test/files/pos/t2421.scala diff --git a/test/pending/pos/t2421_delitedsl.scala b/test/files/pos/t2421_delitedsl.scala index a05887023a..a05887023a 100644 --- a/test/pending/pos/t2421_delitedsl.scala +++ b/test/files/pos/t2421_delitedsl.scala |