aboutsummaryrefslogtreecommitdiff
path: root/tests/untried/pos/t616.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/untried/pos/t616.scala')
-rw-r--r--tests/untried/pos/t616.scala11
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