aboutsummaryrefslogtreecommitdiff
path: root/tests/untried/pos/t1014.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/untried/pos/t1014.scala')
-rw-r--r--tests/untried/pos/t1014.scala16
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/untried/pos/t1014.scala b/tests/untried/pos/t1014.scala
new file mode 100644
index 000000000..6fb7f7ba4
--- /dev/null
+++ b/tests/untried/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)