forked from scala/scala
/
t4425b.check
55 lines (55 loc) · 4.28 KB
/
t4425b.check
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
t4425b.scala:5: error: object X is not a case class, nor does it have a valid unapply/unapplySeq member
Note: def unapply(x: String)(y: String): Nothing exists in object X, but it cannot be used as an extractor due to its second non-implicit parameter list
println( "" match { case _ X _ => "ok" ; case _ => "fail" })
^
t4425b.scala:6: error: object X is not a case class, nor does it have a valid unapply/unapplySeq member
Note: def unapply(x: String)(y: String): Nothing exists in object X, but it cannot be used as an extractor due to its second non-implicit parameter list
println((X: Any) match { case _ X _ => "ok" ; case _ => "fail" })
^
t4425b.scala:7: error: object X is not a case class, nor does it have a valid unapply/unapplySeq member
Note: def unapply(x: String)(y: String): Nothing exists in object X, but it cannot be used as an extractor due to its second non-implicit parameter list
println( "" match { case X(_) => "ok" ; case _ => "fail" })
^
t4425b.scala:8: error: object X is not a case class, nor does it have a valid unapply/unapplySeq member
Note: def unapply(x: String)(y: String): Nothing exists in object X, but it cannot be used as an extractor due to its second non-implicit parameter list
println((X: Any) match { case X(_) => "ok" ; case _ => "fail" })
^
t4425b.scala:9: error: object X is not a case class, nor does it have a valid unapply/unapplySeq member
Note: def unapply(x: String)(y: String): Nothing exists in object X, but it cannot be used as an extractor due to its second non-implicit parameter list
println( "" match { case X(_, _) => "ok" ; case _ => "fail" })
^
t4425b.scala:10: error: object X is not a case class, nor does it have a valid unapply/unapplySeq member
Note: def unapply(x: String)(y: String): Nothing exists in object X, but it cannot be used as an extractor due to its second non-implicit parameter list
println((X: Any) match { case X(_, _) => "ok" ; case _ => "fail" })
^
t4425b.scala:18: error: object X can't be used as an extractor: The result type of an unapply method may not be Nothing
println( "" match { case _ X _ => "ok" ; case _ => "fail" })
^
t4425b.scala:19: error: object X can't be used as an extractor: The result type of an unapply method may not be Nothing
println((X: Any) match { case _ X _ => "ok" ; case _ => "fail" })
^
t4425b.scala:20: error: object X can't be used as an extractor: The result type of an unapply method may not be Nothing
println( "" match { case X(_) => "ok" ; case _ => "fail" })
^
t4425b.scala:21: error: object X can't be used as an extractor: The result type of an unapply method may not be Nothing
println((X: Any) match { case X(_) => "ok" ; case _ => "fail" })
^
t4425b.scala:22: error: object X can't be used as an extractor: The result type of an unapply method may not be Nothing
println( "" match { case X(_, _) => "ok" ; case _ => "fail" })
^
t4425b.scala:23: error: object X can't be used as an extractor: The result type of an unapply method may not be Nothing
println((X: Any) match { case X(_, _) => "ok" ; case _ => "fail" })
^
t4425b.scala:31: error: too many patterns for object X offering Nothing: expected 1, found 2
println( "" match { case _ X _ => "ok" ; case _ => "fail" })
^
t4425b.scala:32: error: too many patterns for object X offering Nothing: expected 1, found 2
println((X: Any) match { case _ X _ => "ok" ; case _ => "fail" })
^
t4425b.scala:35: error: too many patterns for object X offering Nothing: expected 1, found 2
println( "" match { case X(_, _) => "ok" ; case _ => "fail" })
^
t4425b.scala:36: error: too many patterns for object X offering Nothing: expected 1, found 2
println((X: Any) match { case X(_, _) => "ok" ; case _ => "fail" })
^
16 errors