blob: 48551920c31809a90b38b9fead306943f62f1b17 (
plain) (
tree)
|
|
object intersection {
class A
class B
val x: A => Unit = ???
val y: B => Unit = ???
val z = if (???) x else y
val a: A & B => Unit = z
val b: (A => Unit) | (B => Unit) = z
type needsA = A => Nothing
type needsB = B => Nothing
}
|