From 2979a14d0e4b10dc897d027dbfc827fc7624a520 Mon Sep 17 00:00:00 2001 From: Guillaume Martres Date: Mon, 13 Feb 2017 20:04:30 +0100 Subject: typedApply: Avoid using incorrect context in tryEither Previously, the following code accidentally used the implicit Context parameter of `typedApply`: tryEither { implicit ctx => typedOpAssign --- compiler/src/dotty/tools/dotc/typer/Applications.scala | 2 +- tests/repl/imports.check | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/src/dotty/tools/dotc/typer/Applications.scala b/compiler/src/dotty/tools/dotc/typer/Applications.scala index 0ed6ed6b4..6c5dac5d4 100644 --- a/compiler/src/dotty/tools/dotc/typer/Applications.scala +++ b/compiler/src/dotty/tools/dotc/typer/Applications.scala @@ -683,7 +683,7 @@ trait Applications extends Compatibility { self: Typer with Dynamic => * * { val xs = es; e' = e' + args } */ - def typedOpAssign: Tree = track("typedOpAssign") { + def typedOpAssign(implicit ctx: Context): Tree = track("typedOpAssign") { val Apply(Select(lhs, name), rhss) = tree val lhs1 = typedExpr(lhs) val liftedDefs = new mutable.ListBuffer[Tree] diff --git a/tests/repl/imports.check b/tests/repl/imports.check index 5260589a9..345fac142 100644 --- a/tests/repl/imports.check +++ b/tests/repl/imports.check @@ -11,7 +11,7 @@ scala> buf += xs 11 |buf += xs | ^^ | found: scala.collection.immutable.List[Int](o.xs) - | required: String + | required: Int | scala> buf ++= xs val res1: scala.collection.mutable.ListBuffer[Int] = ListBuffer(1, 2, 3) -- cgit v1.2.3