blob: 3aa9fce5f403eb1f7e2139377fb6a5a647626bea (
plain) (
tree)
|
|
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]
}
|