diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2014-11-07 17:07:51 +1000 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2014-11-07 17:07:51 +1000 |
commit | 2dfed21a300724ad61e0863f1cd71260a7ccf507 (patch) | |
tree | 345c2f3d36fdda6a4d1c366a13e857a63b46745d /test/files | |
parent | b1e6f57b2be7ba986927c798d2fb9687b48fe61c (diff) | |
parent | d76a2812ca56cd0d093fbbeb3ab60b35cd9c3180 (diff) | |
download | scala-2dfed21a300724ad61e0863f1cd71260a7ccf507.tar.gz scala-2dfed21a300724ad61e0863f1cd71260a7ccf507.tar.bz2 scala-2dfed21a300724ad61e0863f1cd71260a7ccf507.zip |
Merge pull request #4097 from retronym/ticket/7602
SI-7602 Avoid crash in LUBs with erroneous code
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/neg/t7602.check | 5 | ||||
-rw-r--r-- | test/files/neg/t7602.scala | 26 |
2 files changed, 31 insertions, 0 deletions
diff --git a/test/files/neg/t7602.check b/test/files/neg/t7602.check new file mode 100644 index 0000000000..5bb1450d7d --- /dev/null +++ b/test/files/neg/t7602.check @@ -0,0 +1,5 @@ +t7602.scala:16: error: method foo is defined twice + conflicting symbols both originated in file 't7602.scala' + def foo : Device + ^ +one error found diff --git a/test/files/neg/t7602.scala b/test/files/neg/t7602.scala new file mode 100644 index 0000000000..5a9444a1ab --- /dev/null +++ b/test/files/neg/t7602.scala @@ -0,0 +1,26 @@ +trait Table[T]{ + def foo : T +} +trait Computer +trait Device + +object schema{ + def lub[T]( a:T, b:T ) = ??? + lub(null:Computers,null:Devices) +} +trait Computers extends Table[Computer]{ + def foo : Computer +} +trait Devices extends Table[Device]{ + def foo : Device + def foo : Device +} +/* Was: +Exception in thread "main" java.lang.AssertionError: assertion failed: List(method foo, method foo) + at scala.Predef$.assert(Predef.scala:165) + at scala.reflect.internal.Symbols$Symbol.suchThat(Symbols.scala:1916) + at scala.reflect.internal.tpe.GlbLubs$$anonfun$23.apply(GlbLubs.scala:350) + at scala.reflect.internal.tpe.GlbLubs$$anonfun$23.apply(GlbLubs.scala:349) + at scala.collection.immutable.List.map(List.scala:272) + at scala.reflect.internal.tpe.GlbLubs$class.lubsym$1(GlbLubs.scala:349) +*/
\ No newline at end of file |