path: root/test/files/pos/tcpoly_higherorder_bound_method.scala

trait SkolemisationOfHigherOrderBoundInMethod {
 def method[A, N[X <: A], M[X <: N[A]]]: unit
}