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
|
t5378.scala:7: error: Type bound in structural refinement may not refer to an abstract type defined outside that refinement
def contains = new { def apply[T1 <: T](value: T1) = ??? }
^
t5378.scala:8: error: Type bound in structural refinement may not refer to an abstract type defined outside that refinement
def contains1 = new { def apply[T1 <: A1](value: T1) = ??? }
^
t5378.scala:9: error: Type bound in structural refinement may not refer to an abstract type defined outside that refinement
def contains2 = new { def apply[T1 <: A2](value: T1) = ??? }
^
t5378.scala:15: error: Type bound in structural refinement may not refer to an abstract type defined outside that refinement
new Bippy { def apply[T1 <: T](value: T1) = ??? }
^
t5378.scala:16: error: Type bound in structural refinement may not refer to an abstract type defined outside that refinement
new Bippy { def apply[T1 <: B1](value: T1) = ??? }
^
t5378.scala:17: error: Type bound in structural refinement may not refer to an abstract type defined outside that refinement
new Bippy { def apply[T1 <: B2](value: T1) = ??? }
^
t5378.scala:21: error: Type bound in structural refinement may not refer to an abstract type defined outside that refinement
def apply1[T1 <: B3](value: T1) = ???
^
t5378.scala:23: error: Parameter type in structural refinement may not refer to an abstract type defined outside that refinement
def apply3(value: B3) = ???
^
t5378.scala:28: error: Parameter type in structural refinement may not refer to an abstract type defined outside that refinement
def apply1(s: String)(x: Int)(value: T) = ???
^
t5378.scala:29: error: Type bound in structural refinement may not refer to an abstract type defined outside that refinement
def apply2[T1 <: T](s: String)(x: Int)(value: T1) = ???
^
10 errors found
|
