typedTyped needs to maintain Mode.

The first part of a type ascription e: T can be a pattern or an expression. The mode
has to be kept depending on what it was on the outside.

1 files changed, 25 insertions, 0 deletions

diff --git a/tests/new/t2660.scala b/tests/new/t2660.scala
new file mode 100644
index 000000000..94a40f740
--- /dev/null
+++ b/tests/new/t2660.scala
@@ -0,0 +1,25 @@
+package hoho
+
+class G
+
+class H extends G
+
+class A[T](x: T) {
+
+  def this(y: G, z: T) = {
+    this(z)
+    print(1)
+  }
+
+  def this(z: H, h: T) = {
+    this(h)
+    print(2)
+  }
+}
+
+object T {
+  def main(args: Array[String]): Unit = {
+    implicit def g2h(g: G): H = new H
+    new A[Int](new H, 23)
+  }
+}