Fix wording in error message

Author: odersky

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

@@ -607,10 +607,10 @@ trait Checking {
     def fail(pat: Tree, pt: Type): Boolean = {
       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)