blob: 40c0d3d676557b10dca44039e4bfe9bcdc6bf38e (
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
|
trait Base {
private val secure_# = 10l
}
class TestUser extends Base {
def clsMeth(x: Int) = x
private def foo(x: Int) = x
}
object TestUser extends TestUser {
def objMeth = "a"
private def foo(x: Int) = x
}
object Test {
def main(args: Array[String]) {
TestUser.objMeth
// no-op, just check that it passes verification
println("verified!")
}
}
|