blob: b4f81ae172db0d04da0bf05f366d830ead2ed775 (
plain) (
tree)
|
|
class RefinementAndExistentials {
type Foo = {
type Dingus
def bippy(x: Int): String
def dingus(): String
}
type Bar = {
type Dingus <: T forSome { type T <: String }
}
def f(x: Foo) = 51
def g(x: T forSome { type T <: String }) = x
def h(x: Float): { def quux(x: Int, y: Int): Int } = new {
def quux(x: Int, y: Int) = 55
}
def hh(x: Float) = new { def quux(x: Int, y: Int) = 55 }
def j(x: Int): Bar = sys.error("")
def k(): AnyRef { type Dingus <: T forSome { type T <: String } } = sys.error("")
}
|