blob: c4c33348526dc5a96e1ca1f5527bce65f6ac7bfd (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
trait Eater {
type Food[T]
}
trait Fruit {
type Seed
}
trait PipExtractor {
def extract(a: Fruit)(b: Eater): b.Food[a.Seed]
}
trait LaserGuidedPipExtractor extends PipExtractor {
def extract(f: Fruit)(g: Eater): g.Food[f.Seed]
}
|