dependent type test

sealed abstract trait MetricStyle
trait Gauge extends MetricStyle

trait Metric extends MetricStyle with MetricValue

class IntGauge extends Metric with Gauge  {
  type Value =Int
}

object MetricOp {

  abstract class MetricOperation[+T <: Metric](val metric: T)

  class IncOp[+T <: Metric](metric: T, val value : T#Value) extends MetricOperation[T](metric)

}

object Toto {

  import MetricOp._

  val g = new IntGauge
  val t: IncOp[IntGauge] =  new IncOp[g.type ](g,0)
}