summaryrefslogtreecommitdiff
path: root/test/files/neg/t5663-badwarneq.check
blob: 732e4f44d0e08871a05093784f3b3e72247c73f0 (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
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
t5663-badwarneq.scala:47: warning: comparing case class values of types Some[Int] and None.type using `==' will always yield false
    println(new Some(1) == None) // Should complain on type, was: spuriously complains on fresh object
                        ^
t5663-badwarneq.scala:48: warning: comparing case class values of types Some[Int] and Thing using `==' will always yield false
    println(Some(1) == new Thing(1)) // Should complain on type, was: spuriously complains on fresh object
                    ^
t5663-badwarneq.scala:56: warning: ThingOne and Thingy are unrelated: they will most likely never compare equal
    println(t1 == t2) // true, but apparently unrelated, a compromise warning
               ^
t5663-badwarneq.scala:57: warning: ThingThree and Thingy are unrelated: they will most likely never compare equal
    println(t4 == t2) // true, complains because ThingThree is final and Thingy not a subclass, stronger claim than unrelated
               ^
t5663-badwarneq.scala:60: warning: comparing case class values of types ThingTwo and Some[Int] using `==' will always yield false
    println(t3 == Some(1)) // false, warn on different cases
               ^
t5663-badwarneq.scala:61: warning: comparing values of types ThingOne and Cousin using `==' will always yield false
    println(t1 == c) // should warn
               ^
t5663-badwarneq.scala:69: warning: comparing case class values of types Simple and SimpleSibling.type using `==' will always yield false
    println(new Simple() == SimpleSibling) // like Some(1) == None, but needn't be final case
                         ^
t5663-badwarneq.scala:72: warning: ValueClass1 and Int are unrelated: they will never compare equal
    println(new ValueClass1(5) == 5) // bad
                               ^
t5663-badwarneq.scala:74: warning: comparing values of types Int and ValueClass1 using `==' will always yield false
    println(5 == new ValueClass1(5)) // bad
              ^
t5663-badwarneq.scala:78: warning: ValueClass2[String] and String are unrelated: they will never compare equal
    println(new ValueClass2("abc") == "abc") // bad
                                   ^
t5663-badwarneq.scala:79: warning: ValueClass2[Int] and ValueClass1 are unrelated: they will never compare equal
    println(new ValueClass2(5) == new ValueClass1(5)) // bad - different value classes
                               ^
t5663-badwarneq.scala:81: warning: comparing values of types ValueClass3 and ValueClass2[Int] using `==' will always yield false
    println(ValueClass3(5) == new ValueClass2(5)) // bad
                           ^
t5663-badwarneq.scala:82: warning: comparing values of types ValueClass3 and Int using `==' will always yield false
    println(ValueClass3(5) == 5) // bad
                           ^
error: No warnings can be incurred under -Xfatal-warnings.
13 warnings found
one error found