diff options
author | Martin Odersky <odersky@gmail.com> | 2006-05-31 09:47:38 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-05-31 09:47:38 +0000 |
commit | 23904f63552d7cb98865d5a07101e2e9795d2ad1 (patch) | |
tree | 897cd8dfd243c5921570ebd1c091c111cf146d5a /test/files/pos | |
parent | cab784ad14708b1c2b95d8af44b20f802667e7b2 (diff) | |
download | scala-23904f63552d7cb98865d5a07101e2e9795d2ad1.tar.gz scala-23904f63552d7cb98865d5a07101e2e9795d2ad1.tar.bz2 scala-23904f63552d7cb98865d5a07101e2e9795d2ad1.zip |
fixed bugs 616, 617
Diffstat (limited to 'test/files/pos')
-rwxr-xr-x | test/files/pos/bug122.scala | 4 | ||||
-rw-r--r-- | test/files/pos/bug616.scala | 11 |
2 files changed, 15 insertions, 0 deletions
diff --git a/test/files/pos/bug122.scala b/test/files/pos/bug122.scala new file mode 100755 index 0000000000..cbfdb64def --- /dev/null +++ b/test/files/pos/bug122.scala @@ -0,0 +1,4 @@ +class L{ + val List(v:int,2) = List(2,v:int); + val Pair(a:int,b:int) = Pair(1,a); +}
\ No newline at end of file diff --git a/test/files/pos/bug616.scala b/test/files/pos/bug616.scala new file mode 100644 index 0000000000..bf757a58d3 --- /dev/null +++ b/test/files/pos/bug616.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 |