blob: e6bde86b117417f6236ca7ccc09a7800a104d879 (
plain) (
tree)
|
|
package zoo
object Test {
trait FoodStuff
trait Meat extends FoodStuff {
type IsMeat = Any
}
trait Grass extends FoodStuff {
type IsGrass = Any
}
trait Animal {
type Food <: FoodStuff
def eats(food: Food): Unit
def gets: Food
}
trait Cow extends Animal {
type IsMeat = Any
type Food <: Grass
def eats(food: Grass): Unit
def gets: Food
}
trait Lion extends Animal {
type Food = Meat
def eats(food: Meat): Unit
def gets: Meat
}
def newMeat: Meat = new Meat {
}
def newGrass: Grass = new Grass {
}
def newCow: Cow = new Cow {
type Food = Grass
def eats(food: Grass) = ()
def gets = newGrass
}
def newLion: Lion = new Lion {
def eats(food: Meat) = ()
def gets = newMeat
}
val milka = newCow
val leo = newLion
//leo.eats(milka) // structural select not supported
}
|