gistfile1.scala

trait Imp[T] {}
 
object Imp { 
  implicit val i = new Imp[Int] {}
}
 
import Imp._
 
trait F { 
  type T
  implicit def imp:Imp[T]
}
 
class Bar(implicit val imp:Imp[Int]) extends F { 
  type T = Int
}

val Bar = new Bar