blob: 0b484da53070c54081fa059989b33f0a7926956e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
import language._
trait One {
type Op[A]
type Alias[A] = Op[A]
}
trait Three extends One {
trait Op[A] extends (A => A)
def f4[T <: Alias[Int]](f: T) = 0
}
|