aboutsummaryrefslogtreecommitdiff
path: root/tests/untried/pos/testCoercionThis.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/untried/pos/testCoercionThis.scala')
-rw-r--r--tests/untried/pos/testCoercionThis.scala19
1 files changed, 19 insertions, 0 deletions
diff --git a/tests/untried/pos/testCoercionThis.scala b/tests/untried/pos/testCoercionThis.scala
new file mode 100644
index 000000000..5631b3330
--- /dev/null
+++ b/tests/untried/pos/testCoercionThis.scala
@@ -0,0 +1,19 @@
+object Test {
+ implicit def foo2bar(foo: Foo): Bar = foo.bar
+
+ class Foo(val bar: Bar) {
+ def testCoercion = {
+ val a: this.type = this
+ a.baz /* here, foo2bar is inferred by the compiler, as expected */
+ }
+ // def testCoercionThis0 = baz
+ // --> error: not found: value baz
+ // PP: is that something we really want to work? Seems like sketchville.
+ //
+ // These work, so I moved this out of pending.
+ def testCoercionThis1 = this.baz
+ def testCoercionThis2 = (this: Foo).baz
+ }
+
+ class Bar { def baz = System.out.println("baz") }
+}