Don't recognize type bounds as lambda abstractions

Printing bounds omits the "<:" otherwise.

Author: odersky

src/dotty/tools/dotc/core/TypeApplications.scala

@@ -66,8 +66,6 @@ object TypeApplications {
         val variances = cls.typeParams.map(_.variance)
         val argBounds = prefix.argInfos.map(_.bounds)
         Some((variances, argBounds, app.refinedInfo))
-      case TypeBounds(lo, hi) =>
-        unapply(hi)
       case _ =>
         None
     }

src/dotty/tools/dotc/printing/PlainPrinter.scala

@@ -266,12 +266,13 @@ class PlainPrinter(_ctx: Context) extends Printer {
     homogenize(tp) match {
       case tp @ TypeBounds(lo, hi) =>
         if (lo eq hi) {
-        val eql =
-          if (tp.variance == 1) " =+ "
-          else if (tp.variance == -1) " =- "
-          else " = "
+          val eql =
+            if (tp.variance == 1) " =+ "
+            else if (tp.variance == -1) " =- "
+            else " = "
           eql ~ toText(lo)
-        } else
+        }
+        else
           (if (lo isRef defn.NothingClass) Text() else " >: " ~ toText(lo)) ~
             (if (hi isRef defn.AnyClass) Text() else " <: " ~ toText(hi))
       case tp @ ClassInfo(pre, cls, cparents, decls, selfInfo) =>