More tests

1 files changed, 16 insertions, 0 deletions

diff --git a/tests/pos/t1014.scala b/tests/pos/t1014.scala
new file mode 100644
index 000000000..6fb7f7ba4
--- /dev/null
+++ b/tests/pos/t1014.scala
@@ -0,0 +1,16 @@
+class NodeSeq
+class Elem extends NodeSeq
+
+class EO extends App with Moo {
+  // return type is Flog, inherited from overridden method.
+  // implicit conversions are applied because expected type `pt` is `Flog` when `computeType(rhs, pt)`.
+  def cat = (??? : Elem)
+
+  implicit def nodeSeqToFlog(in: Elem): Flog = new Flog(in)
+}
+
+trait Moo {
+  def cat: Flog
+}
+
+class Flog(val in: NodeSeq)