test/files/run/t8046/t8046c.scala


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
}