Welcome to Scala 3.3.0 (20.0.1, Java OpenJDK 64-Bit Server VM).
Type in expressions for evaluation. Or try :help.

scala> List(42).collect((x: String) => x match { case "42" => 27 })
-- [E007] Type Mismatch Error: -----------------------------------------------------------------------------------------
1 |List(42).collect((x: String) => x match { case "42" => 27 })
  |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  |                 Found:    String => Int
  |                 Required: PartialFunction[Int, Int]
  |
  | longer explanation available when compiling with `-explain`
1 error found

scala> List(42).collect((x: Int) => x match { case "42" => 27 })
-- [E172] Type Error: --------------------------------------------------------------------------------------------------
1 |List(42).collect((x: Int) => x match { case "42" => 27 })
  |                                            ^^^^
  |                                            Values of types String and Int cannot be compared with == or !=
1 error found

scala> List(42).collect((x: Any) => x match { case "42" => 27 })
java.lang.AbstractMethodError: Receiver class rs$line$1$$anon$1 does not define or inherit an implementation of the resolved method 'abstract boolean isDefinedAt(java.lang.Object)' of interface scala.PartialFunction.
  at scala.PartialFunction.applyOrElse(PartialFunction.scala:214)
  at scala.PartialFunction.applyOrElse$(PartialFunction.scala:213)
  at scala.runtime.AbstractPartialFunction.applyOrElse(AbstractPartialFunction.scala:27)
  at scala.collection.immutable.List.collect(List.scala:267)
  ... 33 elided

scala> List(42).collect((x: Any) => x match { case "42" => 27 })
1 warning found
-- [E030] Match case Unreachable Warning: ------------------------------------------------------------------------------
1 |List(42).collect((x: Any) => x match { case "42" => 27 })
  |                                            ^^^^
  |                                            Unreachable case
java.lang.AbstractMethodError: Receiver class rs$line$1$$anon$1 does not define or inherit an implementation of the resolved method 'abstract boolean isDefinedAt(java.lang.Object)' of interface scala.PartialFunction.
  at scala.PartialFunction.applyOrElse(PartialFunction.scala:214)
  at scala.PartialFunction.applyOrElse$(PartialFunction.scala:213)
  at scala.runtime.AbstractPartialFunction.applyOrElse(AbstractPartialFunction.scala:27)
  at scala.collection.immutable.List.collect(List.scala:267)
  ... 33 elided

type In = argTp
type Out = resTp

-- [E172] Type Error: /home/amarki/snips/t4940.scala:3:67 ----------------------
3 |  val f: PartialFunction[String, Int] = (x: Int) => x match { case "x" => 3 }   // error
  |                                                                   ^^^
  |           Values of types String and Int cannot be compared with == or !=
-- [E172] Type Error: /home/amarki/snips/t4940.scala:5:65 ----------------------
5 |  val g: PartialFunction[String, Int] = (x: X) => x match { case "x" => 3 }     // error
  |                                                                 ^^^
  |             Values of types String and X cannot be compared with == or !=
-- [E007] Type Mismatch Error: /home/amarki/snips/t4940.scala:7:37 -------------
7 |  val m: PartialFunction[Int, Int] = (x: Double) => x match { case 3.14 => 3 }  // error
  |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  |                                     Found:    Double => Int
  |                                     Required: PartialFunction[Int, Int]
  |
  | longer explanation available when compiling with `-explain`
-- [E007] Type Mismatch Error: /home/amarki/snips/t4940.scala:9:36 -------------
9 |  val g3: PartialFunction[Y, Int] = (x: X) => x match { case _: X => 3 }        // error
  |                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  |                                    Found:    X => Int
  |                                    Required: PartialFunction[Y, Int]
  |
  | longer explanation available when compiling with `-explain`

# starting 49 tests in presentation
................................X................
!!  1 - presentation/t12308                       [output differs]
% diff /home/runner/work/scala/scala/test/files/presentation/t12308.check /home/runner/work/scala/scala/test/files/presentation/t12308-presentation.log
@@ -46,5 +46,6 @@ askType at Foo.scala(4,37)
 [response] askTypeAt (4,37)
 1
 ================================================================================
+Problem(RangePosition(t12308/src/Foo.scala, 43, 43, 48),A try without a catch or finally is equivalent to putting its body in a block; no exceptions are handled.,1,List())
 Problem(RangePosition(t12308/src/Foo.scala, 67, 67, 72),A try without a catch or finally is equivalent to putting its body in a block; no exceptions are handled.,1,List())
 Problem(RangePosition(t12308/src/Foo.scala, 109, 109, 114),A try without a catch or finally is equivalent to putting its body in a block; no exceptions are handled.,1,List())

##### Log file '/home/runner/work/scala/scala/test/files/presentation/t12308-presentation.log' from failed test #####