diff options
author | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2013-10-29 05:39:42 -0700 |
---|---|---|
committer | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2013-10-29 05:39:42 -0700 |
commit | 2c1e9af40e252bd9ed5bfe4305991ee6f7d25636 (patch) | |
tree | 79de3e45aa44ad0d1a8bee6d6bef16de283b1983 /test/files/pos | |
parent | 6d4b08b4a03dcb623372ab60acf5ca016b068bed (diff) | |
parent | 4acac088dcbdce5b6a5b99a31a15c85a2715bbb6 (diff) | |
download | scala-2c1e9af40e252bd9ed5bfe4305991ee6f7d25636.tar.gz scala-2c1e9af40e252bd9ed5bfe4305991ee6f7d25636.tar.bz2 scala-2c1e9af40e252bd9ed5bfe4305991ee6f7d25636.zip |
Merge pull request #3082 from retronym/ticket/6385
SI-6385 Avoid bridges to identical signatures over value classes
Diffstat (limited to 'test/files/pos')
-rw-r--r-- | test/files/pos/t6260a.scala | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/files/pos/t6260a.scala b/test/files/pos/t6260a.scala new file mode 100644 index 0000000000..194294e981 --- /dev/null +++ b/test/files/pos/t6260a.scala @@ -0,0 +1,15 @@ +final class Option[+A](val value: A) extends AnyVal + +// Was: sandbox/test.scala:21: error: bridge generated for member method f: ()Option[A] in class Bar +// which overrides method f: ()Option[A] in class Foo" +abstract class Foo[A] { def f(): Option[A] } + class Bar[A] extends Foo[A] { def f(): Option[A] = ??? } + +// User reported this as erroneous but I couldn't reproduce with 2.10.{0,1,2,3} +// https://issues.scala-lang.org/browse/SI-6260?focusedCommentId=64764&page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel#comment-64764 +// I suspect he whittled down the example too far. +class Wrapper(val value: Int) extends AnyVal +abstract class Test { def check(the: Wrapper): Boolean } +object T { + new Test { def check(the: Wrapper) = true } +} |