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
|
class ann(i: Int) extends scala.annotation.Annotation
// annotations on abstract types
abstract class C1[@annotation.elidable(0) +T, U, V[_]]
abstract class C2[@deprecated
@ann(1) T <: Number,
V]
abstract class C3 {
@ann(2) type X <: Number
}
object Test {
// bug #1028
val x = 1
@ann(x) val a = ()
@ann({val y = 2; y}) val b = ()
def c: Int @ann(x) = 1
def d: String @ann({val z = 0; z - 1}) = "2"
def e[@deprecated T, U](x: T) = x
//bug #1214
val y = new (Integer @ann(0))(2)
import scala.beans.BeanProperty
// bug #637
trait S { def getField(): Int }
class O extends S { @BeanProperty val field = 0 }
// bug #1070
trait T { @BeanProperty var field = 1 }
}
|
