add tests from scala/test/files/{pos,neg}

with explicit Unit return type

1 files changed, 11 insertions, 0 deletions

diff --git a/tests/untried/pos/t616.scala b/tests/untried/pos/t616.scala
new file mode 100644
index 000000000..bb91c732a
--- /dev/null
+++ b/tests/untried/pos/t616.scala
@@ -0,0 +1,11 @@
+object testImplicit {
+  implicit def foo2bar(foo: Foo): Bar = foo.bar
+  class Foo(val bar: Bar) {
+    def testCoercion = {val a = this; a.baz} // here, foo2bar is inferred by the compiler, as expected
+    //def testCoercionThisImplicit = baz  // --> error: not found: value baz
+    def testCoercionThisExplicit: Any = this.baz  // --> error: value baz is not a  member of Foo
+  }
+  trait Bar { def baz: Unit }
+}
+// mentioned before: http://thread.gmane.org/gmane.comp.lang.scala/2038,
+// but couldn't find a bug report