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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
trait InterFace {
/** Call something. */
def call(a: Int, b: String, c: Double): Int
}
trait BadAPI extends InterFace {
def f(a: Int,
b: String, // warn
c: Double): Int = {
println(c)
a
}
@deprecated ("no warn in deprecated API", since="yesterday")
def g(a: Int,
b: String, // no warn
c: Double): Int = {
println(c)
a
}
override def call(a: Int,
b: String, // no warn, required by superclass
c: Double): Int = {
println(c)
a
}
def meth(x: Int) = x
override def equals(other: Any): Boolean = true // no warn
def i(implicit s: String) = 42 // yes, warn
/*
def future(x: Int): Int = {
val y = 42
val x = y // maybe option to warn only if shadowed
x
}
*/
}
// mustn't alter warnings in super
trait PoorClient extends BadAPI {
override def meth(x: Int) = ??? // no warn
override def f(a: Int, b: String, c: Double): Int = a + b.toInt + c.toInt
}
class Unusing(u: Int) { // warn
def f = ???
}
class Valuing(val u: Int) // no warn
class Revaluing(u: Int) { def f = u } // no warn
case class CaseyKasem(k: Int) // no warn
case class CaseyAtTheBat(k: Int)(s: String) // warn
trait Ignorance {
def f(readResolve: Int) = 42 // warn
}
class Reusing(u: Int) extends Unusing(u) // no warn
class Main {
def main(args: Array[String]): Unit = println("hello, args") // no warn
}
|
