blob: 202329a79fe593c21dcec29aa0e6960dbee95605 (
plain) (
tree)
|
|
// Minimized from scala.collection.generic.GenTraversableFactory plus dependencies
import scala.annotation.unchecked.uncheckedVariance
trait GT[A] extends GTT[A, GT]
trait HNB[B]
trait GTT[+C, DD[X] <: GT[X]] extends HNB[DD[C] @uncheckedVariance] // Can be any annotation and still crash
class GTF[EE[X] <: GT[X] with GTT[X, EE]]
{
def foo[F]: EE[F] = ???
def bar[G](f: G): EE[G] = ???
def tabulate: EE[EE[Int]] = bar(foo)
}
|