January 9, 2013 20:42
diff --git a/gistfile1.scala b/gistfile1.scala
 trait Imp[T] {}

 object Imp { 
  implicit val i = new Imp[Int] {}
 }

 import Imp._

 trait F { 
  type T
  def imp = implicitly[Imp[T]]
 }

 object Bar extends F { 
  type T = Int
 }
	trait Imp[T] {}

	object Imp {
	implicit val i = new Imp[Int] {}
	}

	import Imp._

	trait F {
	type T
	def imp = implicitly[Imp[T]]
	}

	object Bar extends F {
	type T = Int
	}