Polishings

Author: odersky

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

@@ -728,7 +728,7 @@ trait Implicits { self: Typer =>
     def synthesizedGeneric(formal: Type): Tree =
       formal.argTypes match {
         case arg :: Nil =>
-          val arg1 = fullyDefinedType(arg, "ClassTag argument", pos)
+          val arg1 = fullyDefinedType(arg, "Generic argument", pos)
           val clsType = checkClassType(arg1, pos, traitReq = false, stablePrefixReq = true)
           new Deriver(clsType.classSymbol.asClass, pos).genericInstance(clsType)
         case _ =>

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

@@ -909,7 +909,7 @@ class Inliner(call: tpd.Tree, rhsToInline: tpd.Tree)(implicit ctx: Context) {
                    | patterns :  ${tree.cases.map(patStr).mkString("\n             ")}"""
               else
                 em"""cannot reduce inline match with
-                    | scrutinee:  $sel : ${selType} : ${selType.underlyingIfProxy}
+                    | scrutinee:  $sel : ${selType}
                     | patterns :  ${tree.cases.map(patStr).mkString("\n             ")}"""
             errorTree(tree, msg)
         }