blob: ef322816a4f5ec1a3358c65f603a87fe4d0158a0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
object pickleTypes {
abstract class C { type T; val x: T; def f: T; def g(y: T): T; def h[U](z: U, y: T): U }
val x1: Int = ???
val x2: List[List[Int]] = ???
val x3: C { type T <: C } = ???
val x4: C { type T = Int; val x: Int } = ???
val x5: C { type T = String; def f: String; def g(y: String): String } = ???
val x6: C { type T = String; def f: String; def g(y: String): String; def h[U](z: U, y: T): U } = ???
}
|