path: root/tests/untried/pos/t3419/C_2.scala

object F {
  type S = T[Any,Int] {type X[N <: Int, Acc <: Int] = Acc}
}