blob: e06aa8101ebcae3cba96682213ae29fedeefd43f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
case class S(n:Int)
trait TraversableLike[+A, +Repr] {
class WithFilter(p: A => Boolean)
def withFilter(p: A => Boolean): WithFilter = new WithFilter(p)
}
class HashMap[K, +V] extends TraversableLike[(K, V), HashMap[K, V]]
class Outer[T](val t: T) {
class Inner {
def getT : T = t
}
}
class OuterImpl(x: X) extends Outer[X](x) {
def newInner = new Inner
}
class X {
def getI : Outer[X]#Inner = {
val oImpl = new OuterImpl(this)
new oImpl.Inner
}
}
|