Fix wording in error message

Author: odersky

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

@@ -609,10 +609,10 @@ trait Checking {
       else {
         var reportedPt = pt.dropAnnot(defn.UncheckedAnnot)
         if (!pat.tpe.isSingleton) reportedPt = reportedPt.widen
-        val problem = if (pat.tpe <:< pt) "is more specialized" else "does not match"
+        val problem = if (pat.tpe <:< pt) "is more specialized than" else "does not match"
         val fix = if (isPatDef) "`: @unchecked` after" else "`case ` before"
         ctx.errorOrMigrationWarning(
-          ex"""pattern's type ${pat.tpe} $problem than the right hand side expression's type $reportedPt
+          ex"""pattern's type ${pat.tpe} $problem the right hand side expression's type $reportedPt
               |
               |If the narrowing is intentional, this can be communicated by writing $fix the full pattern.${err.rewriteNotice}""",
           pat.sourcePos)