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
|
// Compiles
package a {
case class A[T]()
}
// Compiles
package b.scala {
class B[T]
}
// Doesn't compile: type Nothing is not a member of c.scala
package c.scala {
case class C[T]()
}
// Doesn't compile: type Nothing is not a member of d.scala
package d.scala.d {
case class D[T]()
}
// Doesn't compile: type Any is not a member of e.scala
package e.scala {
case class E[T >: Nothing]()
}
// Compiles
package f.scala {
case class F[T >: Nothing <: Any]()
}
// Doesn't compile: type <byname> is not a member of package h.scala
package h.scala {
case class H(s: String)(t: =>String)
}
|
