blob: 8144c0c48b5e4ba452708d239cc2be3e4efbe3e4 (
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
/*
trait Bug1[@specialized(Boolean) A] extends TraversableOnce[A] {
def ++[B >: A](that: TraversableOnce[B]): Iterator[B] = new Iterator[B] {
lazy val it = that.toIterator
def hasNext = it.hasNext
def next = it.next
}
}
*/
/*
trait WorksFine[@specialized(Boolean) A] {
class SubBounds[B >: A] extends Bounds[B] {
lazy val it = ???
it
}
def x[B >: A]: Unit = new SubBounds[B]
}
*/
trait Bounds[@specialized(Boolean) A] {
// okay without `>: A`
def x[B >: A]: Unit = new Bounds[B] {
lazy val it = ??? // def or val okay
it
}
}
|