f96b6beefc ^
c1f07338ed ^
f4267ccd96 ^
1
2
3
trait SkolemisationOfHigherOrderBoundInMethod { def method[A, N[X <: A], M[X <: N[A]]]: Unit }