blob: 5a9444a1abc32c9a2c487644123c5dcfaf33cac8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
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)
*/
|