Check AppliedTypeTrees bounds inside AppliedTypeTree

1 files changed, 10 insertions, 7 deletions

diff --git a/src/dotty/tools/dotc/typer/Checking.scala b/src/dotty/tools/dotc/typer/Checking.scala
index 3e829eb50..0b4787d15 100644
--- a/src/dotty/tools/dotc/typer/Checking.scala
+++ b/src/dotty/tools/dotc/typer/Checking.scala
@@ -50,13 +50,16 @@ object Checking {
 
   /** Check all AppliedTypeTree nodes in this tree for legal bounds */
   val boundsChecker = new TreeTraverser {
-    def traverse(tree: Tree)(implicit ctx: Context) = tree match {
-      case AppliedTypeTree(tycon, args) =>
-        val tparams = tycon.tpe.typeSymbol.typeParams
-        val bounds = tparams.map(tparam =>
-          tparam.info.asSeenFrom(tycon.tpe.normalizedPrefix, tparam.owner.owner).bounds)
-        checkBounds(args, bounds, _.substDealias(tparams, _))
-      case _ => traverseChildren(tree)
+    def traverse(tree: Tree)(implicit ctx: Context) = {
+      tree match {
+        case AppliedTypeTree(tycon, args) =>
+          val tparams = tycon.tpe.typeSymbol.typeParams
+          val bounds = tparams.map(tparam =>
+            tparam.info.asSeenFrom(tycon.tpe.normalizedPrefix, tparam.owner.owner).bounds)
+          checkBounds(args, bounds, _.substDealias(tparams, _))
+        case _ =>
+      }
+      traverseChildren(tree)
     }
   }