blob: 84b2d2dadeec4f572fcf11669c2be2967ff45d7a (
plain) (
blame)
1
2
3
4
5
6
7
|
class Test {
class MyExist extends ExistF[MyExist]
// SI-8197, SI-6169: java infers the bounds of existentials, so we have to as well now that SI-1786 is fixed...
def stringy: Exist[_ <: String] = (new Exist[String]).foo
def fbounded: (ExistF[t] forSome {type t <: ExistF[t] }) = (new MyExist).foo
def indir: ExistIndir[_ <: String, _ <: String] = (new ExistIndir[String, String]).foo
}
|