xevix/f_bounded_polymorphism.scala

## f_bounded_polymorphism.scala
trait ListContainer[A <: ListContainer[A]] {
  this: List[A] =>

  def takeOne = take(1)
}

class MyContainer extends ListContainer[MyContainer] {
  this: List[MyContainer] =>

  def takeTwo = takeOne :: takeOne :: Nil
}
	trait ListContainer[A <: ListContainer[A]] {
	this: List[A] =>

	def takeOne = take(1)
	}

	class MyContainer extends ListContainer[MyContainer] {
	this: List[MyContainer] =>

	def takeTwo = takeOne :: takeOne :: Nil
	}