blob: c013f4968636f063d6181e2ef6922bcca7eb43fd (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
case class CaseClass( value: Int );
object PatternMatchBug {
def matcher( a: AnyRef, b: Any ) {
(a, b) match {
case ( instance: CaseClass, instance.value ) =>
System.out.println( "Match succeeded!" );
case _ =>
System.out.println( "Match failed!" );
}
}
def main( args : Array[String] ) {
val caseClassInstance = CaseClass( 42 )
matcher( caseClassInstance, 13 )
matcher( caseClassInstance, 42 )
}
}
|