blob: ae7f37e2bf7920b86c8763d3a7c831fc6bfb0b86 (
plain) (
blame)
1
2
3
4
5
6
7
|
trait F1[/* - */T, /* + */ R]
object Test {
import scala.annotation.unchecked._
private[this] type VariantF1[-T, +R] = F1[T @uncheckedVariance, R @uncheckedVariance]
trait C[+T] { def foo: VariantF1[Any, T] }
}
|