test/files/pos/t1085.scala


1
2
3
4
5
6
7
8
9

trait Functor[a] {
	type MyType[a]
}

object Test {
  def listFunctor[a]: Functor[a]{type MyType[x]=List[x]} = new Functor[a] {
    type MyType[t]=List[t]
  }
}