blob: e178b5d84d54b0a1153f84f073e09329977162b5 (
plain) (
tree)
|
|
trait Flow[-In, +Out] {
type Repr[+O] <: Flow[In, O]
def map: Repr[String]
}
class Test {
// typechecking was exponentially slow wrt the number of projections here.
def slowFlow(
f: Flow[String,String]#Repr[String]#Repr[String]#Repr[String]#Repr[String]#Repr[String]#Repr[String]#Repr[String]#Repr[String]#Repr[String]#Repr[String]#Repr[String]
) = {
f.map
}
}
|