blob: cf1913d88be9f0b9f53f695c4f3f25dc02dd454a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
class A[+U >: Null] {
type R[+X >: Null] = X
type O[+X] = A[R[X]]
}
// with the following error:
//
// type arguments [A.this.R[X]] do not conform to class A's type parameter bounds [+U >: Null]
//
// However, because type R[+X>:Null] is identical to X, it should carry X bounds and R[X] lower bound should be known to be X's lower bound, i.e. Null.
//
// The same problem occurs with upper bounds.
|