Merge pull request #3277 from dotty-staging/fix-3206

Fix #3206: make sure partial function has `@unchecked`

Author: liufengyun

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -878,7 +878,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
     tree.selector match {
       case EmptyTree =>
         val (protoFormals, _) = decomposeProtoFunction(pt, 1)
-        val unchecked = pt <:< defn.PartialFunctionType
+        val unchecked = pt.isRef(defn.PartialFunctionClass)
         typed(desugar.makeCaseLambda(tree.cases, protoFormals.length, unchecked) withPos tree.pos, pt)
       case _ =>
         val sel1 = typedExpr(tree.selector)
@@ -2251,7 +2251,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
      *  tree that went unreported. A scenario where this happens is i1802.scala.
      */
     def ensureReported(tp: Type) = tp match {
-      case err: ErrorType if !ctx.reporter.hasErrors => ctx.error(err.msg, tree.pos)
+      case err: ErrorType if !ctx.reporter.errorsReported => ctx.error(err.msg, tree.pos)
       case _ =>
     }
 

tests/neg/ensureReported.scala

@@ -0,0 +1,6 @@
+object AnonymousF {
+  val f = {
+    case l @ List(1) => // error: missing parameter type // error: Ambiguous overload
+      Some(l)
+  }
+}

tests/patmat/i3206.scala

@@ -0,0 +1,5 @@
+object Test {
+  val foo: PartialFunction[Option[Int], Int] = {
+    case Some(x) => x
+  }
+}